Sciweavers

408 search results - page 58 / 82
» Human-centered computing in international development
Sort
View
ICRA
1993
IEEE
147views Robotics» more  ICRA 1993»
14 years 2 months ago
Towards Sonar Based Perception and Modelling for Unmanned Untethered Underwater Vehicles
The ability to automatically generate internal models from sensed data will be of critical importance in the development of flexible, adaptive and useful unmanned underwater vehic...
B. Steer, J. Kloske, P. Garner, L. LeBlanc, S. Sch...
SWAT
1992
Springer
101views Algorithms» more  SWAT 1992»
14 years 1 months ago
Parallel Algorithms for Priority Queue Operations
This paper presents parallel algorithms for priority queue operations on a p-processor EREWPRAM. The algorithms are based on a new data structure, the Min-path Heap (MH), which is...
Maria Cristina Pinotti, Geppino Pucci
KBSE
1998
IEEE
14 years 1 months ago
Identifying Pre-Conditions with the Z/EVES Theorem Prover
Starting from a graphical data model (a subset of the OMT object model), a skeleton of formal specification can be generated and completed to express several constraints and provi...
Yves Ledru
FPL
2008
Springer
122views Hardware» more  FPL 2008»
13 years 11 months ago
Mining Association Rules with systolic trees
Association Rules Mining (ARM) algorithms are designed to find sets of frequently occurring items in large databases. ARM applications have found their way into a variety of field...
Song Sun, Joseph Zambreno
LREC
2008
127views Education» more  LREC 2008»
13 years 11 months ago
MASC: the Manually Annotated Sub-Corpus of American English
To answer the critical need for sharable, reusable annotated resources with rich linguistic annotations, we are developing a Manually Annotated Sub-Corpus (MASC) including texts f...
Nancy Ide, Collin F. Baker, Christiane Fellbaum, C...