Sciweavers

6693 search results - page 698 / 1339
» Methods of Automatic Algorithm Generation
Sort
View
CVPR
2010
IEEE
1351views Computer Vision» more  CVPR 2010»
16 years 3 months ago
Live Dense Reconstruction with a Single Moving Camera
We present a method which enables rapid and dense reconstruction of scenes browsed by a single live camera. We take point-based real-time structure from motion (SFM) as our starti...
Richard Newcombe, Andrew Davison
ICRA
2007
IEEE
146views Robotics» more  ICRA 2007»
16 years 1 months ago
Interactive Motion Control of Deformable Objects Using Localized Optimal Control
—In this paper we present a novel interactive method and interface techniques for controlling the behavior of physically-based simulation of deformable objects. The goal of our r...
Hongjun Jeon, Min-Hyung Choi
COMPSAC
2006
IEEE
16 years 1 months ago
A Framework of Model-Driven Web Application Testing
Web applications have become complex and crucial in many fields. In order to assure their quality, a high demand for systematic methodologies of Web application testing is emergin...
Nuo Li, Qin-qin Ma, Ji Wu, Mao-zhong Jin, Chao Liu...
ISCIS
2004
Springer
16 years 15 days ago
Software Testing via Model Checking
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
Fevzi Belli, Baris Güldali
DOCENG
2003
ACM
16 years 12 days ago
Automating XML document structure transformations
This paper describes an implementation for syntax-directed transformation of XML documents from one structure to another. The system is based on the method which we have introduce...
Paula Leinonen