Sciweavers

257 search results - page 7 / 52
» A Proposed Method for Release Planning from Use Case-based R...
Sort
View
TPLP
2002
99views more  TPLP 2002»
13 years 7 months ago
Using Methods of Declarative Logic Programming for Intelligent Information Agents
At present, the search for specific information on the World Wide Web is faced with several problems, which arise on the one hand from the vast number of information sources avail...
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Ha...
SIGSOFT
2008
ACM
14 years 8 months ago
Javert: fully automatic mining of general temporal properties from dynamic traces
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
Mark Gabel, Zhendong Su
IJCV
2008
157views more  IJCV 2008»
13 years 7 months ago
A General Method for Sensor Planning in Multi-Sensor Systems: Extension to Random Occlusion
Systems utilizing multiple sensors are required in many domains. In this paper, we specifically concern ourselves with applications where dynamic objects appear randomly and the s...
Anurag Mittal, Larry S. Davis
VLDB
2002
ACM
99views Database» more  VLDB 2002»
13 years 7 months ago
An Efficient Method for Performing Record Deletions and Updates Using Index Scans
We present a method for efficiently performing deletions and updates of records when the records to be deleted or updated are chosen by a range scan on an index. The traditional m...
C. Mohan
IROS
2006
IEEE
134views Robotics» more  IROS 2006»
14 years 1 months ago
Bridging the Gap between Task Planning and Path Planning
— Autonomous service robots have to recognize and interpret their environment to be able to interact with it. This paper will focus on service tasks such as serving a glass of wa...
Franziska Zacharias, Christoph Borst, Gerd Hirzing...