11129 search results - page 373 / 2226 » Modeling Search Computing Applications |
166
click to vote
CP
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Constraint satisfaction problems provide strong formalism for modeling variety of real life problems. This paper presents a work currently in progress of which the goal i...
167
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
We present the implementation of the trace theory in a new model checking tool framework, POEM, that has a strong emphasis on Partial Order Methods. A tree structure is used to sto...
183
click to vote
PERCOM
2008
ACM
15 years 6 months ago
2008
ACM
In this paper 1 we describe the design, implementation and evaluation of a software framework that supports the development of mobile, context-aware trails-based applications. A t...
194
click to vote
NIPS
2000
15 years 8 months ago
2000
We describe a joint probabilistic model for modeling the contents and inter-connectivity of document collections such as sets of web pages or research paper archives. The model is...
197
click to vote
DAGSTUHL
2008
15 years 8 months ago
2008
The construction of computational cognitive models integrating the connectionist and symbolic paradigms of artificial intelligence is a standing research issue in the field. The co...