1788 search results - page 172 / 358 » Model Theory for Process Algebra |
132
Voted
TPHOL
2007
IEEE
15 years 10 months 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...
147
Voted
SIGIR
2011
ACM
14 years 6 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...
225
Voted
VLDB
2006
ACM
16 years 3 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...
146
Voted
DAGM
2010
Springer
15 years 1 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...
125
Voted
ATAL
2003
Springer
15 years 9 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...