Sciweavers

6757 search results - page 408 / 1352
» Knowledge Analysis on Process Models
Sort
View
3DIM
2003
IEEE
15 years 10 months ago
Automatic Model Refinement for 3D Reconstruction with Mobile Robots
Precise digital 3D models of indoor environments are needed in several applications, e.g., facility management, architecture, rescue and inspection robotics. This paper presents a...
Andreas Nüchter, Hartmut Surmann, Joachim Her...
KR
2004
Springer
16 years 5 days ago
GlossOnt: A Concept-focused Ontology Building Tool
The demand for ontologies is rapidly growing especially due to developments in knowledge management, E-commerce and the Semantic Web. Building an ontology and a background knowled...
Youngja Park
ICASSP
2009
IEEE
16 years 1 months ago
Pitch bends and tonguing articulation in clarinet physical modeling synthesis
A physical modeling approach is used to investigate playing effects in woodwind instruments. This builds upon prior work concerning both empirical studies of the acoustics of the ...
Mark Sterling, Xiaoxiao Dong, Mark Bocko
ICSE
1999
IEEE-ACM
15 years 11 months ago
A Practical Method for Verifying Event-Driven Software
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
Gerard J. Holzmann, Margaret H. Smith
CVPR
2009
IEEE
1413views Computer Vision» more  CVPR 2009»
17 years 1 months ago
Learning Semantic Scene Models by Object Classification and Trajectory Clustering
The visual surveillance task is to monitor the activity of objects in a scene. In far-field settings (i.e., wide outdoor areas), the majority of visible activities are objects movi...
Hanqing Lu, Stan Z. Li, Tianzhu Zhang