2249 search results - page 347 / 450 » Representations for category disambiguation |
195
click to vote
PASTE
2005
ACM
16 years 10 hour ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
179
click to vote
SIGIR
2005
ACM
16 years 8 hour ago
2005
ACM
We consider the problem of document indexing and representation. Recently, Locality Preserving Indexing (LPI) was proposed for learning a compact document subspace. Different from...
171
click to vote
SMA
2005
ACM
16 years 8 hour ago
2005
ACM
Nef polyhedra in d-dimensional space are the closure of half-spaces under boolean set operation. In consequence, they can represent non-manifold situations, open and closed sets, ...
179
click to vote
ATAL
2005
Springer
16 years 26 min ago
2005
Springer
In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is do...
181
click to vote
ATAL
2005
Springer
16 years 16 min ago
2005
Springer
This paper develops a model for exceptions and an approach for incorporating them in commitment protocols among autonomous agents. Modeling and handling exceptions is critical for...