Sciweavers

1139 search results - page 47 / 228
» A New View On The Process Of Translation
Sort
View
IFM
2009
Springer
119views Formal Methods» more  IFM 2009»
15 years 4 months ago
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
Jan Stöcker, Frédéric Lang, Hub...
CVPR
2001
IEEE
15 years 11 months ago
Precise Omnidirectional Camera Calibration
Recent omnidirectional camera designs aim a conventional camera at a mirror that expands the camera's field of view. This wide view is ideal for three-dimensional vision task...
Dennis Strelow, Jeffrey Mishler, David Koes, Sanji...
OOPSLA
2005
Springer
15 years 3 months ago
GOOAL: an educational object oriented analysis laboratory
Our goal is to enable rapid production of static and dynamic object models from natural language description of problems. Rapid modeling is achieved through automation of analysis...
Hector G. Pérez-González, Jugal K. K...
DOLAP
2000
ACM
15 years 2 months ago
CUBIST: A New Algorithm For Improving the Performance of Ad-hoc OLAP Queries
Being able to efficiently answer arbitrary OLAP queries that aggregate along any combination of dimensions over numerical and categorical attributes has been a continued, major co...
Lixin Fu, Joachim Hammer
IV
1999
IEEE
133views Visualization» more  IV 1999»
15 years 2 months ago
A Robust Image Mosaicing Technique Capable of Creating Integrated Panoramas
Existing featureless image mosaicing techniques do not pay enough attention to the robustness of the image registration process, and are not able to combine multiple video sequenc...
Yihong Gong, Guido Proietti, David LaRose