Sciweavers

23036 search results - page 61 / 4608
» Sketching informal presentations
Sort
View
CONCURRENCY
2010
114views more  CONCURRENCY 2010»
14 years 10 months ago
A step towards refining and translating B control annotations to Handel-C
Research augmenting B machines presented at B2007 has demonstrated how fragments of control flow expressed as annotations can be added to associated machine operations, and shown t...
Wilson Ifill, Steve A. Schneider
IJRR
2006
95views more  IJRR 2006»
14 years 9 months ago
Experiments with a Large Heterogeneous Mobile Robot Team: Exploration, Mapping, Deployment and Detection
We describe the design and experimental validation of a large heterogeneous mobile robot team built for the DARPA Software for Distributed Robotics (SDR) program. The core challen...
Andrew Howard, Lynne E. Parker, Gaurav S. Sukhatme
JIIS
2006
76views more  JIIS 2006»
14 years 9 months ago
Holes in joins
A join of two relations in real databases is usually much smaller than their cartesian product. This means that most of the combinations of tuples in the crossproduct of the respe...
Jarek Gryz, Dongming Liang
PRL
2008
126views more  PRL 2008»
14 years 9 months ago
Fourier-based geometric shape prior for snakes
A novel method of snakes with shape prior is presented in this paper. We propose to add a new force which makes the curve evolve to particular shape corresponding to a template to...
Mohamed Ali Charmi, Stéphane Derrode, Faouz...
IJCIS
2000
40views more  IJCIS 2000»
14 years 9 months ago
Lessons Learned from Applying AI to the Web
Ontobroker applies Artificial Intelligence techniques to improve access to heterogeneous, distributed and semistructured information sources as they are presented in the World Wid...
Dieter Fensel, Jürgen Angele, Stefan Decker, ...