Sciweavers

4250 search results - page 758 / 850
» Understanding the Requirements on Modelling Techniques
Sort
View
ECAI
2008
Springer
13 years 10 months ago
Incremental Component-Based Construction and Verification of a Robotic System
Abstract-- Autonomous robots are complex systems that require the interaction/cooperation of numerous heterogeneous software components. Nowadays, robots are critical systems and m...
Ananda Basu, Matthieu Gallien, Charles Lesire, Tha...
MVA
2007
186views Computer Vision» more  MVA 2007»
13 years 10 months ago
A Novel Approach of 3D Face Reconstruction Using Ellipse Fitting
The problem of reconstructing the 3D face using one image captured from a viewpoint arises in many fields of science and engineering, this paper propose the novel approach for rec...
Charoenpong Theekapun, Hiroyuki Hase, Shogo Tokai
WOTUG
2008
13 years 10 months ago
Process-Oriented Collective Operations
Abstract. Distributing process-oriented programs across a cluster of machines requires careful attention to the effects of network latency. The MPI standard, widely used for cluste...
John Markus Bjørndalen, Adam T. Sampson
DATESO
2004
174views Database» more  DATESO 2004»
13 years 10 months ago
On Efficient Part-match Querying of XML Data
The XML language have been becoming de-facto a standard for representation of heterogeneous data in the Internet. From database point of view, XML is a new approach to data modelli...
Michal Krátký, Marek Andrt
DLOG
2006
13 years 10 months ago
Data Complexity of Answering Unions of Conjunctive Queries in SHIQ
The novel context of accessing and querying large data repositories through ontologies that are formalized in terms of expressive DLs requires on the one hand to consider query an...
Magdalena Ortiz, Diego Calvanese, Thomas Eiter