1788 search results - page 172 / 358 » Model Theory for Process Algebra |
172
click to vote
TPHOL
2007
IEEE
16 years 21 days ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
185
click to vote
SIGIR
2011
ACM
14 years 9 months ago
2011
ACM
Searching is inherently an interactive process usually requiring numerous iterations of querying and assessing in order to find the desired amount of relevant information. Essent...
284
click to vote
VLDB
2006
ACM
16 years 6 months ago
2006
ACM
While the information published in the form of XML-compliant documents keeps fast mounting up, efficient and effective query processing and optimization for XML have now become mor...
189
click to vote
DAGM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Graphical models with higher order factors are an important tool for pattern recognition that has recently attracted considerable attention. Inference based on such model...
158
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
The term social navigation refers to the process of seeking social interaction as a source of navigational support. In this paper we present a computational model of social naviga...