Sciweavers

324 search results - page 55 / 65
» Towards Efficient Development of Embedded Real-Time Systems,...
Sort
View
WI
1989
13 years 10 months ago
Incremental Natural Language Description of Dynamic Imagery
Although image understanding and natural language processing constitute two major areas of AI, they have mostly been studied independentlyof each other. Only a few attempts have b...
Gerd Herzog, C.-K. Sung, Elisabeth André, W...
ECCV
2002
Springer
14 years 8 months ago
Tracking and Object Classification for Automated Surveillance
In this paper we discuss the issues that need to be resolved before fully automated outdoor surveillance systems can be developed, and present solutions to some of these problems. ...
Omar Javed, Mubarak Shah
DAC
2008
ACM
14 years 7 months ago
Specify-explore-refine (SER): from specification to implementation
Driven by increasing complexity and reliability demands, the Japanese Aerospace Exploration Agency (JAXA) in 2004 commissioned development of ELEGANT, a complete SpecC-based envir...
Andreas Gerstlauer, Junyu Peng, Dongwan Shin, Dani...
ICDE
2006
IEEE
193views Database» more  ICDE 2006»
14 years 8 months ago
Probabilistic Message Passing in Peer Data Management Systems
Until recently, most data integration techniques involved central components, e.g., global schemas, to enable transparent access to heterogeneous databases. Today, however, with t...
Philippe Cudré-Mauroux, Karl Aberer, Andras...
FM
1997
Springer
258views Formal Methods» more  FM 1997»
13 years 11 months ago
Consistent Graphical Specification of Distributed Systems
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
Franz Huber, Bernhard Schätz, Geralf Einert