3765 search results - page 503 / 753 » Formal Methods for Systems Engineering Behavior Models |
178
click to vote
SPIN
2007
Springer
16 years 23 days ago
2007
Springer
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...
178
click to vote
IUI
2005
ACM
16 years 6 days ago
2005
ACM
This paper describes an Intelligent Shopping Assistant designed for a shopping cart mounted tablet PC that enables individual interactions with customers. We use machine learning ...
195
click to vote
ECCV
2010
Springer
15 years 10 months ago
2010
Springer
Advanced surveillance systems for behavior recognition in outdoor traffic scenes depend strongly on the particular configuration of the scenario. Scene-independent trajectory analy...
147
click to vote
CGI
2004
IEEE
15 years 10 months ago
2004
IEEE
This article presents a new method to achieve heterogeneous physical simulation, within the same global system, of both deformable and rigid-bodies objects, whatever their intrins...
224
click to vote
ICWS
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses Semantic Web service language (DAML-S) f...