3229 search results - page 620 / 646 » Theories with the Independence Property |
169
click to vote
GECCO
2007
Springer
16 years 28 days ago
2007
Springer
A system composed of multiple interacting components is capable of responding to contextual information and producing a higher range of non-linear responses to stimuli compared to...
196
click to vote
LICS
2006
IEEE
16 years 23 days ago
2006
IEEE
We prove that the modal mu-calculus model-checking problem for (ranked and ordered) node-labelled trees that are generated by order-n recursion schemes (whether safe or not, and w...
208
click to vote
MM
2006
ACM
16 years 22 days ago
2006
ACM
In many image retrieval applications, the mapping between highlevel semantic concept and low-level features is obtained through a learning process. Traditional approaches often as...
186
click to vote
PODC
2006
ACM
16 years 22 days ago
2006
ACM
Motivated by applications to sensor, peer-to-peer, and adhoc networks, we study the problem of computing functions of values at the nodes in a network in a totally distributed man...
216
click to vote
MM
2005
ACM
16 years 10 days ago
2005
ACM
This work achieves full registration of scenes in a large area and creates visual indexes for visualization in a digital city. We explore effective mapping, indexing, and display ...