4460 search results - page 148 / 892 » Formal methods for interactive systems |
132
Voted
BIBM
2009
IEEE
15 years 9 months ago
2009
IEEE
—In this paper we propose the use of answer set programming (ASP) to model protein interaction networks. We argue that this declarative formalism rivals the popular boolean netwo...
132
Voted
RIDE
1999
IEEE
15 years 8 months ago
1999
IEEE
Advances in computer networking technology and open system standards are making the creation and management of virtual enterprises feasible. A virtual enterprise is a temporary co...
143
Voted
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
Interactive dynamic influence diagrams (I-DIDs) are graphical models for sequential decision making in uncertain settings shared by other agents. Algorithms for solving I-DIDs fac...
116
click to vote
EDBT
2009
ACM
15 years 7 months ago
2009
ACM
We investigate the problem of refining SQL queries to satisfy cardinality constraints on the query result. This has applications to the many/few answers problems often faced by da...
140
Voted
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
Multi-robot systems researchers have been investigating adaptive coordination methods for improving spatial coordination in teams. Such methods adapt the coordination method to th...