Sciweavers

245 search results - page 32 / 49
» State Complexity of Testing Divisibility
Sort
View
UMUAI
2010
136views more  UMUAI 2010»
14 years 10 months ago
Towards affective camera control in games
Information about interactive virtual environments, such as games, is perceived by users through a virtual camera. While most interactive applications let users control the camera,...
Georgios N. Yannakakis, Héctor Perez Mart&i...
113
Voted
ASWEC
2009
IEEE
15 years 5 months ago
Connector-Driven Process for the Gradual Evolution of Component-Based Software
Large, complex and long-lived software need to be upgraded at runtime. Addition, removal and replacement of a software component are the elementary evolution operations that have ...
Huaxi (Yulin) Zhang, Christelle Urtado, Sylvain Va...
ICIP
1998
IEEE
16 years 2 months ago
Generalized Distance based Matching of Nonbinary Images
We develope a technique to perform e cient and accurate matching to detect the occurences of a template in a scene. The template may describe an object or a textured surface. Repr...
Bülent Sankur, Cenk Köse, Valery V. Star...
87
Voted
PODS
2003
ACM
114views Database» more  PODS 2003»
16 years 17 days ago
An information-theoretic approach to normal forms for relational and XML data
Normalization as a way of producing good database designs is a well-understood topic. However, the same problem of distinguishing well-designed databases from poorly designed ones...
Marcelo Arenas, Leonid Libkin
94
Voted
ICSE
2001
IEEE-ACM
15 years 4 months ago
A Scalable Formal Method for Design and Automatic Checking of User Interfaces
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
Jean Berstel, Stefano Crespi-Reghizzi, Gilles Rous...