Sciweavers

1682 search results - page 195 / 337
» Applying Conventional Testing Techniques for Class Testing
Sort
View
SIGMOD
2010
ACM
168views Database» more  SIGMOD 2010»
15 years 9 months ago
SimDB: a similarity-aware database system
The identification and processing of similarities in the data play a key role in multiple application scenarios. Several types of similarity-aware operations have been studied in ...
Yasin N. Silva, Ahmed M. Aly, Walid G. Aref, Per-&...
DAGM
1999
Springer
15 years 8 months ago
Collaborative Multi-Robot Localization
This paper presents a statistical algorithm for collaborative mobile robot localization. Our approach uses a sample-based version of Markov localization, capable of localizing mob...
Dieter Fox, Wolfram Burgard, Hannes Kruppa, Sebast...
GISCIENCE
2008
Springer
112views GIS» more  GISCIENCE 2008»
15 years 5 months ago
Decentralized Movement Pattern Detection amongst Mobile Geosensor Nodes
Movement patterns, like flocking and converging, leading and following, are examples of high-level process knowledge derived from lowlevel trajectory data. Conventional techniques...
Patrick Laube, Matt Duckham, Thomas Wolle
ASE
2006
122views more  ASE 2006»
15 years 4 months ago
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis
The structured programming literature provides methods and a wealth of heuristic knowledge for guiding the construction of provably correct imperative programs. We investigate the...
Andrew Ireland, Jamie Stark
SIGCSE
2008
ACM
136views Education» more  SIGCSE 2008»
15 years 4 months ago
A new paradigm for programming competitions
The annual ACM International Collegiate Programming Contest produces a competitive paradigm that is at odds with the pedagogical goals of modern computer science and software engi...
James F. Bowring