Sciweavers

11722 search results - page 413 / 2345
» How Developers Develop Features
Sort
View
CANDC
2002
ACM
15 years 7 months ago
A model for information technologies that can be creative
To contribute to HCI investigation and interface design that develops interactive systems for creative solutions, I attempt to formulate a model of the human capability to combine...
Johan F. Hoorn
ENTCS
2002
145views more  ENTCS 2002»
15 years 7 months ago
Combining Monitors for Runtime System Verification
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...
Joshua Levy, Hassen Saïdi, Tomás E. Ur...
MVA
2000
208views Computer Vision» more  MVA 2000»
15 years 7 months ago
Real-time multiple vehicle detection and tracking from a moving vehicle
A real-time vision system has been developed that analyzes color videos taken from a forward-looking video camera in a car driving on a highway. The system uses a combination of co...
Margrit Betke, Esin Haritaoglu, Larry S. Davis
ISB
2002
112views more  ISB 2002»
15 years 7 months ago
High quality visualization of biochemical pathways in BioPath
ABSTRACT: Biochemical reactions form large and complex networks. Comprehensible visual representations of these networks help biochemists understand the relationships between the c...
Falk Schreiber
TROB
2002
126views more  TROB 2002»
15 years 7 months ago
Modeling and controllability for a class of hybrid mechanical systems
Abstract-- This work studies a class of hybrid mechanical systems that locomote by switching between constraints defining different dynamic regimes. We develop a geometric framewor...
Francesco Bullo, Milos Zefran