Sciweavers

1220 search results - page 178 / 244
» Structured Information Processing for Self-Optimizing Mechat...
Sort
View
SMC
2007
IEEE
127views Control Systems» more  SMC 2007»
14 years 3 months ago
Underwater environment reconstruction using stereo and inertial data
Abstract— The underwater environment presents many challenges for robotic sensing including highly variable lighting, the presence of dynamic objects, and the six degree of freed...
Andrew Hogue, Andrew German, Michael Jenkin
LREC
2008
180views Education» more  LREC 2008»
13 years 10 months ago
Romanian Semantic Role Resource
Semantic databases are a stable starting point in developing knowledge based systems. Since creating language resources demands many temporal, financial and human resources, a pos...
Diana Trandabat, Maria Husarciuc
ICFEM
2010
Springer
13 years 7 months ago
Loop Invariant Synthesis in a Combined Domain
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan...
DEBU
2000
147views more  DEBU 2000»
13 years 9 months ago
XJoin: A Reactively-Scheduled Pipelined Join Operator
Wide-area distribution raises significant performance problems for traditional query processing techniques as data access becomes less predictable due to link congestion, load imb...
Tolga Urhan, Michael J. Franklin
TITB
1998
135views more  TITB 1998»
13 years 9 months ago
ViVa: the virtual vascular project
The aim of the ViVa project is to develop tools for the modern hemodynamicist and cardiovascular surgeon to study and interpret the constantly increasing amount of information bei...
Gassan Abdoulaev, Sandro Cadeddu, Giovanni Delussu...