6167 search results - page 2 / 1234 » Can Refinement be Automated |
116
Voted
ICCV
2007
IEEE
16 years 2 months ago
2007
IEEE
An approach for incremental learning of a 3D scene from a single static video camera is presented in this paper. In particular, we exploit the presence of casual people walking in...
103
Voted
GIS
2009
ACM
15 years 7 months ago
2009
ACM
Naive Geography’s premise “Topology matters, metric refines” calls for metric properties that provide opportunities for finergrained distinctions than the purely qualitative...
85
Voted
STTT
2008
15 years 17 days ago
2008
We present ProB, a validation toolset for the B method. ProB's automated animation facilities allow users to gain confidence in their specifications. ProB also contains a mode...
103
click to vote
ISORC
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper deals with the automatic dependability analysis of systems designed using UML. An automatic transformations is defined for the generation of models to capture systems d...
90
Voted
DLOG
2008
15 years 3 months ago
2008
We propose an approach for extending domain knowledge represented in DL ontology by using knowledge extraction methods on ontology assertions. Concept and role assertions are extra...