Sciweavers

251 search results - page 42 / 51
» On the Complexity of Learning Lexicographic Strategies
Sort
View
CAV
2007
Springer
121views Hardware» more  CAV 2007»
14 years 1 months ago
Algorithms for Interface Synthesis
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
Dirk Beyer, Thomas A. Henzinger, Vasu Singh
FGR
2006
IEEE
125views Biometrics» more  FGR 2006»
14 years 1 months ago
Reliable and Fast Tracking of Faces under Varying Pose
This paper presents a system that is able to track multiple faces under varying pose (tilted and rotated) reliably in real-time. The system consists of two interactive modules. Th...
Tao Yang, Stan Z. Li, Quan Pan, Jing Li, Chunhui Z...
ATAL
2005
Springer
14 years 1 months ago
Agent-organized networks for dynamic team formation
Many multi-agent systems consist of a complex network of autonomous yet interdependent agents. Examples of such networked multi-agent systems include supply chains and sensor netw...
Matthew E. Gaston, Marie desJardins
DIGRA
2005
Springer
14 years 1 months ago
Pretty good for a girl: gender, identity and computer games
Young people’s participation in online digital culture is one of the most efficient means by which they become proficient in the management of Information and Communications Tec...
Catherine Beavis
EMO
2005
Springer
107views Optimization» more  EMO 2005»
14 years 1 months ago
Multiobjective Water Pinch Analysis of the Cuernavaca City Water Distribution Network
Water systems often allow efficient water uses via water reuse and/or recirculation. Defining the network layout connecting water-using processes is a complex problem which involv...
Carlos E. Mariano-Romero, Víctor Alcocer-Ya...