2526 search results - page 193 / 506 » A New Algorithm for Answer Set Computation |
151
click to vote
TACAS
2005
Springer
15 years 12 months ago
2005
Springer
Fair discrete systems (FDSs) are a computational model of concurrent programs where fairness assumptions are specified in terms of sets of states. The analysis of fair discrete sy...
183
click to vote
CG
2010
Springer
15 years 4 months ago
2010
Springer
Simulation balancing is a new technique to tune parameters of a playout policy for a Monte-Carlo game-playing program. So far, this algorithm had only been tested in a very artific...
193
click to vote
SIGIR
2008
ACM
15 years 6 months ago
2008
ACM
Named entity recognition is important for semantically oriented retrieval tasks, such as question answering, entity retrieval, biomedical retrieval, trend detection, and event and...
186
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
The problem of pose estimation arises in many areas of computer vision, including object recognition, object tracking, site inspection and updating, and autonomous navigation when...
174
click to vote
IV
2003
IEEE
15 years 11 months ago
2003
IEEE
The paper begins with a response to the nature of contemporary artists relationships to how computers have permeated the fine art domain and how they affect the creative process. ...