1275 search results - page 91 / 255 » A Simple Focused Crawler |
118
Voted
CPAIOR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We recently proposed a simple declarative language for specifying a wide range of counting and occurrence constraints. The language uses just two global primitives: the R...
131
Voted
AFRIGRAPH
2001
ACM
15 years 7 months ago
2001
ACM
Traditional user interfaces for off-the-desktop applications are designed to display the output on flat 2D surfaces while the input is with 2D or 3D devices. In this paper, we foc...
136
Voted
AIPS
2007
15 years 5 months ago
2007
Due to its important practical applications, temporal planning is of great research interest in artificial intelligence. Yet most of the work in this area so far is limited in at...
179
click to vote
CAV
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The use of Craig interpolants has enabled the development of powerful hardware and software model checking techniques. Efficient algorithms are known for computing interp...
153
click to vote
CAINE
2007
15 years 5 months ago
2007
Biologically focused, agent-based models need many parameters in order to simulate system dynamics. It is often essential to explore the consequences of many parameter vectors bef...