Sciweavers

4650 search results - page 485 / 930
» Generating and evaluating evaluative arguments
Sort
View
ECCV
2008
Springer
15 years 8 months ago
Robust Object Tracking by Hierarchical Association of Detection Responses
Abstract. We present a detection-based three-level hierarchical association approach to robustly track multiple objects in crowded environments from a single camera. At the low lev...
Chang Huang, Bo Wu, Ramakant Nevatia
ICCS
2007
Springer
15 years 8 months ago
Conceptual Graphs as Cooperative Formalism to Build and Validate a Domain Expertise
Abstract. This work takes place in the general context of the construction and validation of a domain expertise. It aims at the cooperation of two kinds of knowledge, heterogeneous...
Rallou Thomopoulos, Jean-François Baget, Ol...
ESEM
2008
ACM
15 years 8 months ago
An over-sampling method for analogy-based software effort estimation
This paper proposes a novel method to generate synthetic project cases and add them to a fit dataset for the purpose of improving the performance of analogy-based software effort ...
Yasutaka Kamei, Jacky Keung, Akito Monden, Ken-ich...
ESWS
2008
Springer
15 years 8 months ago
User Profiling for Semantic Browsing in Medical Digital Libraries
Semantic Browsing provides contextualized dynamically generated Web content customizing the knowledge to better meet user expectations. The real-world medical digital library, the ...
Patty Kostkova, Gayo Diallo, Gawesh Jawaheer
FM
2008
Springer
93views Formal Methods» more  FM 2008»
15 years 8 months ago
Finding Minimal Unsatisfiable Cores of Declarative Specifications
Declarative specifications exhibit a variety of problems, such as inadvertently overconstrained axioms and underconstrained conjectures, that are hard to diagnose with model checki...
Emina Torlak, Felix Sheng-Ho Chang, Daniel Jackson