622 search results - page 104 / 125 » Answer Set Programming and Bounded Model Checking |
136
click to vote
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
The beliefs of an agent reflecting her subjective view of the world constitute one of the main components of a BDI agent. In order to incorporate new information coming from other...
242
click to vote
ICDE
2009
IEEE
16 years 3 months ago
2009
IEEE
Abstract-- When dealing with massive quantities of data, topk queries are a powerful technique for returning only the k most relevant tuples for inspection, based on a scoring func...
124
Voted
STACS
2009
Springer
15 years 8 months ago
2009
Springer
The edit distance problem is a classical fundamental problem in computer science in general, and in combinatorial pattern matching in particular. The standard dynamic-programming s...
AIPS
2004
15 years 3 months ago
2004
We present new results on the problem of finding an enclosing rectangle of minimum area that will contain a given a set of rectangles. Many simple scheduling tasks can be modelled...
134
click to vote
COMPGEOM
2003
ACM
15 years 7 months ago
2003
ACM
Given a scene consisting of objects, ray shooting queries answer with the first object encountered by a given ray, and are used in ray tracing and radiosity for rendering photo-r...