6020 search results - page 1086 / 1204 » A New Approach to Model Counting |
129
click to vote
LREC
2010
15 years 6 months ago
2010
Within the EU-funded COMPANIONS project, we are working to evaluate new collaborative conversational models of dialogue. Such an evaluation requires us to benchmark approaches to ...
131
click to vote
ICWSM
2008
15 years 6 months ago
2008
Identifying topics and concepts associated with a set of documents is a task common to many applications. It can help in the annotation and categorization of documents and be used...
175
click to vote
ICWS
2007
IEEE
15 years 6 months ago
2007
IEEE
Security enforcement framework is an important aspect of any distributed system. With new requirements imposed by SOA-based business models, adaptive security enforcement on the a...
128
click to vote
IJCAI
2007
15 years 6 months ago
2007
Temporal reasoning is widely used within both Computer Science and A.I. However, the underlying complexity of temporal proof in discrete temporal logics has led to the use of simp...
131
click to vote
IJCAI
2007
15 years 6 months ago
2007
Local search procedures for solving satisfiability problems have attracted considerable attention since the development of GSAT in 1992. However, recent work indicates that for m...