3053 search results - page 116 / 611 » Structured Objects: Modeling and Reasoning |
107
Voted
LICS
2000
IEEE
15 years 7 months ago
2000
IEEE
We study definability and complexity issues for automatic and ω-automatic structures. These are, in general, infinite structures but they can be finitely presented by a collec...
122
Voted
ALGORITHMICA
2004
15 years 3 months ago
2004
Query answers from on-line databases can easily be corrupted by hackers or malicious database publishers. Thus it is important to provide mechanisms which allow clients to trust th...
139
Voted
P2PKM
2004
15 years 4 months ago
2004
Abstract. In the future it is likely that peer communities will be routinely established for the purpose of sharing electronic resources and targeted information among groups of pe...
128
click to vote
RCIS
2010
15 years 1 months ago
2010
Every interactive system has a functional part and an interactive part. However the software engineering and the human-computer-interaction communities work separately in terms of ...
153
Voted
CVPR
2012
IEEE
13 years 5 months ago
2012
IEEE
Modeling objects using formal grammars has recently regained much attention in computer vision. Probabilistic logic programming, such as Bilattice based Logical Reasoning (BLR), i...