2024 search results - page 256 / 405 » A Formal Model of Multi-agent Computations |
SIGIR
2005
ACM
15 years 5 months ago
2005
ACM
This paper explores probabilistic lexico-syntactic pattern matching, also known as soft pattern matching. While previous methods in soft pattern matching are ad hoc in computing t...
107
click to vote
SIGIR
2003
ACM
15 years 4 months ago
2003
ACM
Libraries have traditionally used manual image annotation for indexing and then later retrieving their image collections. However, manual image annotation is an expensive and labo...
126
Voted
CONCUR
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Modelling is becoming a necessity in studying biological signalling pathways, because the combinatorial complexity of such systems rapidly overwhelms intuitive and qualit...
123
click to vote
ECOWS
2008
Springer
15 years 1 months ago
2008
Springer
Executable business process models build on the specification of process activities, their implemented business functions (e.g., Web services) and the control flow between these a...
83
Voted
AAAI
2006
15 years 29 days ago
2006
Model counting is the classical problem of computing the number of solutions of a given propositional formula. It vastly generalizes the NP-complete problem of propositional satis...