4460 search results - page 422 / 892 » Formal methods for interactive systems |
161
click to vote
ATAL
2005
Springer
16 years 12 days ago
2005
Springer
There is a growing need for a theory of “local to global” in distributed multi-agent systems, one which is able systematically to describe and analyze a variety of problems. T...
228
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. For autonomous systems such as unmanned aerial vehicles to successfully perform complex missions, a great deal of embedded reasoning is required at varying levels of abst...
181
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
This paper presents a design methodology that deals with the presentation aspects involved in the development of a Semantic Web Information System. The methodology is driven by tw...
200
click to vote
ICSE
1998
IEEE-ACM
15 years 11 months ago
1998
IEEE-ACM
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...
198
click to vote
ICCV
1995
IEEE
15 years 10 months ago
1995
IEEE
Abstract. We describe a flexible object recognition and modelling system (FORMS) which represents and recognizes animate objects from their silhouettes. This consists of a model fo...