Sciweavers

5234 search results - page 720 / 1047
» Method Components - Rationale Revealed
Sort
View
CASCON
1996
118views Education» more  CASCON 1996»
15 years 8 months ago
On predicting reliability of modules using code coverage
The estimation of reliability of modules using code coverage is motivated by a two-phase method for estimating the quality of software using static structure and predicted quality...
Saileshwar Krishnamurthy, Aditya P. Mathur
DLOG
1996
15 years 8 months ago
Using Description Logics for Consistency-based Diagnosis
Using quantitative models of simple mechanisms as an example domain, we show how the basic principles of consistency-based diagnosis can be implemented using description logics wi...
Gerd Kamp, Holger Wache
IJCAI
1989
15 years 7 months ago
Logic Programming with General Clauses and Defaults Based on Model Elimination
The foundations of a class of logic programming systems with the expressive power of full first-order logic and a non-monotonic component is addressed. The underlying refutation m...
Marco A. Casanova, Ramiro A. de T. Guerreiro, Andr...
158
Voted
3DOR
2009
15 years 7 months ago
SHREC'09 Track: Structural Shape Retrieval on Watertight Models
The annual SHape REtrieval Contest (SHREC) measures the performance of 3D model retrieval methods for several different types of models and retrieval purposes. In this contest the...
J. Hartveldt, Michela Spagnuolo, Apostolos Axenopo...
ACIIDS
2010
IEEE
146views Database» more  ACIIDS 2010»
15 years 7 months ago
Entrance Detection of Buildings Using Multiple Cues
This paper describes an approach to detect the entrance of building with hopeful that it will be applied for autonomous navigation robot. The entrance is an important component whi...
Suk-Ju Kang, Hoang-Hon Trinh, Dae-Nyeon Kim, Kang-...