Sciweavers

4235 search results - page 277 / 847
» Process Spaces
Sort
View
RTSS
2008
IEEE
15 years 10 months ago
Symbolic Computation of Schedulability Regions Using Parametric Timed Automata
In this paper, we address the problem of symbolically computing the region in the parameter’s space that guarantees a feasible schedule, given a set of real-time tasks character...
Alessandro Cimatti, Luigi Palopoli, Yusi Ramadian
HICSS
2007
IEEE
86views Biometrics» more  HICSS 2007»
15 years 10 months ago
Digital Consumer Networks and Producer-Consumer Collaboration: Innovation and Product Development in the Digital Entertainment I
This paper examines new forms of collaboration between producers and consumers that are emerging in the digital entertainment space. Taking the case of the video-game industry, we...
Reina Y. Arakji, Karl Reiner Lang
112
Voted
ICALP
2007
Springer
15 years 10 months ago
On Commutativity Based Edge Lean Search
Exploring a graph through search is one of the most basic building blocks of various applications. In a setting with a huge state space, such as in testing and verification, optim...
Dragan Bosnacki, Edith Elkind, Blaise Genest, Doro...
3DPVT
2006
IEEE
194views Visualization» more  3DPVT 2006»
15 years 10 months ago
Expression Compensation for Face Recognition Using a Polar Geodesic Representation
This paper addresses the problem of face recognition in the presence of deformation due to expressions. Facial motion is considered as an isometric mapping between surfaces, which...
Iordanis Mpiperis, Sotiris Malassiotis, Michael G....
127
Voted
ICRA
2006
IEEE
134views Robotics» more  ICRA 2006»
15 years 10 months ago
Hierarchical Map Building and Planning based on Graph Partitioning
— Mobile robot localization and navigation requires a map - the robot’s internal representation of the environment. A common problem is that path planning becomes very ineffic...
Zoran Zivkovic, Bram Bakker, Ben J. A. Kröse