Sciweavers

300 search results - page 44 / 60
» Adaptive Document Analysis with Planning
Sort
View
ICDE
2005
IEEE
160views Database» more  ICDE 2005»
14 years 2 months ago
NXS: Native XML processing in Sybase RDBMS
Sybase's flagship database product, Adaptive Server Enterprise provides Native XML processing (NXS) support. In this paper we present our experience related to query processi...
Anupam Singh, Srikanth Sampath, Vadiraja Bhatt, Fr...
SAS
2009
Springer
212views Formal Methods» more  SAS 2009»
14 years 9 months ago
The Causal Graph Revisited for Directed Model Checking
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
Martin Wehrle, Malte Helmert
KBSE
2009
IEEE
14 years 3 months ago
Towards Augmenting Requirements Models with Preferences
—The analysis of stakeholder requirements is a critical aspect of software engineering. A common way of specifying stakeholder requirements is in terms of a hierarchy of goals wh...
Sotirios Liaskos, Sheila A. McIlraith, John Mylopo...
ROBOCUP
2004
Springer
288views Robotics» more  ROBOCUP 2004»
14 years 2 months ago
Motion Detection and Tracking for an AIBO Robot Using Camera Motion Compensation and Kalman Filtering
Motion detection and tracking while moving is a desired ability for any soccer player. For instance, this ability allows the determination of the ball trajectory when the player is...
Javier Ruiz-del-Solar, Paul A. Vallejos
EWCBR
2006
Springer
14 years 14 days ago
Retrieving and Reusing Game Plays for Robot Soccer
Abstract. The problem of defining robot behaviors to completely address a large and complex set of situations is very challenging. We present an approach for robot's action se...
Raquel Ros, Manuela M. Veloso, Ramon López ...