4209 search results - page 499 / 842 » Abstract Dialectical Frameworks |
135
click to vote
ICCS
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Apart from experimental and theoretical approaches, computer simulation is an important tool in testing hypotheses about stony coral growth. However, the construction and...
156
click to vote
ICDT
2003
ACM
15 years 10 months ago
2003
ACM
We investigate the typechecking problem for XML queries: statically verifying that every answer to a query conforms to a given output schema, for inputs satisfying a given input sc...
133
Voted
IFIP
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. This position paper introduces the motivation and preliminary implementation issues of a distributed simulation middleware designed to increase the performance and speed-...
139
click to vote
ECCV
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We present a framework for vision-assisted tagging of personal photo collections using context. Whereas previous efforts mainly focus on tagging people, we develop a uni...
118
Voted
ISAAC
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. We define an algorithm for determining, in a linear number of symbolic steps, the biconnected components of a graph implicitly represented with Ordered Binary Decision D...