- Constraint Satisfaction and Optimization
- AI-based Problem Solving and Planning
- Data Management and Algorithms
- Bayesian Modeling and Causal Inference
- Data Quality and Management
- Advanced Vision and Imaging
- Parallel Computing and Optimization Techniques
- Logic, Reasoning, and Knowledge
- Video Analysis and Summarization
- Scheduling and Timetabling Solutions
- Distributed and Parallel Computing Systems
- Image Processing Techniques and Applications
- Machine Learning and Data Classification
- Transportation Planning and Optimization
- Image Enhancement Techniques
- Video Coding and Compression Technologies
- Advanced Image Processing Techniques
- Rough Sets and Fuzzy Logic
- Scheduling and Optimization Algorithms
- Industrial Vision Systems and Defect Detection
- Advanced Database Systems and Queries
- Advanced Wireless Network Optimization
- Advanced Neural Network Applications
- Transportation and Mobility Innovations
- Model-Driven Software Engineering Techniques
University of Waterloo
2012-2022
Intel (United States)
2019-2022
University of Southern California
2012
Autodesk (Canada)
2011
Sharp Laboratories of Europe (United Kingdom)
2011
University of Alberta
1992-2004
Japan External Trade Organization
2003
Wageningen University & Research
1992-2000
University of Rochester
1998-1999
Allen gives an algebra for representing qualitative temporal information about the relationships between pairs of intervals. In this paper, we address a fundamental reasoning task that arises in applications algebra: Given (possibly indefinite) knowledge intervals, find all feasible two We call minimal labels problem. Finding can be viewed as computing deductive consequences our knowledge. Determining exact solutions to problem has been shown (almost assuredly) intractable. approximation...
We present a novel method for generating sports video summary highlights. Specifically, our localizes semantically important events in sport programs by detecting slow motion replays of these events, and then generates highlights at multiple levels. In method, hidden Markov model (HMM) is used to replays, an inference algorithm introduced which computes the probability replay segment, boundaries segment as well. An effective new feature HMM, based on moving measure number zero-crossings...
Constraint networks have been shown to be useful in formulating such diverse problems as scene labeling, natural language parsing, and temporal reasoning. Given a constraint network, we often wish (i) find solution that satisfies the constraints (ii) corresponding minimal network where are explicit possible. Both tasks known NP-complete general case. Task (1) is usually solved using backtracking algorithm, task only approximately by enforcing various levels of local consistency. In this...
Many applications-from planning and scheduling to problems in molecular biology-rely heavily on a temporal reasoning component. In this paper, we discuss the design empirical analysis of algorithms for system based Allen's influential interval-based framework representing information. At core are determining whether information is consistent, and, if so, finding one or more scenarios that consistent with Two important these tasks path consistency algorithm backtracking algorithm. For...
The need for safety in Automated Driving (AD) is becoming increasingly critical with the accelerating deployment of this technology. Beyond functional safety, industry must guarantee operational automated vehicles. Towards that end, Mobileye introduced Responsibility Sensitive Safety (RSS), a model-based approach to [1]. In paper we expand upon work introducing C++ Library Safety, an open source executable implements subset RSS. We provide architectural details integrate AD Software...
This paper first provides an overview of two-dimensional (2-D) and three-dimensional mesh models for digital video processing. It then introduces 2-D mesh-based modeling objects as a compact representation motion shape interactive, synthetic/natural manipulation, compression, indexing. The the geometry compression have been included in visual tools upcoming MPEG-4 standard. Functionalities enabled by visual-object include animation still texture maps, transfiguration overlays, morphing,...
Automatic focusing of a digital camera in live preview mode, where the camera's display screen is used as viewfinder, done through contrast detection. In using detection, focus measure to map an image value that represents degree image. Many measures have been proposed and evaluated literature. However, previous studies on either small number benchmarks images their evaluation, directed at microscopy not cameras, or based <i>ad hoc </i>evaluation criteria. this paper, we perform extensive...
In recent years, many improvements to backtracking algorithms for solving constraint satisfaction problems have been proposed. The techniques improving can be conveniently classified as look-ahead schemes and look-back schemes. Unfortunately, are not entirely orthogonal it has observed empirically that the enhancement of is sometimes counterproductive effects techniques. this paper, we focus on relationship between two most important techniques---using a variable ordering heuristic...
With the growing ubiquity and mobility of multimedia-enabled devices, universal multimedia access (UMA) is emerging as one important components for next generation applications. The basic concept underlying UMA or seamless to content, by automatic selection adaptation content based on user's environment. promises an integration these different perspectives into a new class adaptive applications that could allow users without concern specific coding formats, terminal capabilities, network...
This paper proposes methods for designing, tracking and coding hierarchical two-dimensional (2-D) content-based mesh representations. The design procedure consists of constructing a fine-to-coarse hierarchy Delaunay meshes, using image- shape-based criteria geometry simplification. Hierarchical employs coarse-to-fine strategy with mesh-based motion vector optimization. We introduce new techniques to maintain the initial topology during by imposing certain constraints at each stage procedure....