620 search results - page 98 / 124 » Decidability Problems for Actor Systems |
172
Voted
ICDE
2009
IEEE
15 years 11 months ago
2009
IEEE
Search queries on biomedical databases like PubMed often return a large number of results, only a small subset of which is relevant to the user. Ranking and categorization, which c...
168
click to vote
VLDB
2007
ACM
15 years 10 months ago
2007
ACM
Many aspects of the data integration problem have been considered in the literature: how to match schemas across different data sources, how to decide when different records refer...
SODA
2010
ACM
15 years 7 months ago
2010
ACM
Stochastic games are a natural model for open reactive processes: one player represents the controller and his opponent represents a hostile environment. The evolution of the syste...
CSE
2009
IEEE
15 years 4 months ago
2009
IEEE
—This paper presents a model of collaborative decision-making for groups that involve people and computer agents. The model distinguishes between actions relating to participants...
FORMATS
2007
Springer
15 years 3 months ago
2007
Springer
Timed automata were introduced by Alur and Dill in the early 1990s and have since become the most prominent modelling formalism for real-time systems. A fundamental limit to the al...