Sciweavers

2216 search results - page 330 / 444
» Hedging Structured Concepts
Sort
View
SPAA
2005
ACM
15 years 10 months ago
Efficient algorithms for verifying memory consistency
One approach in verifying the correctness of a multiprocessor system is to show that its execution results comply with the memory consistency model it is meant to implement. It ha...
Chaiyasit Manovit, Sudheendra Hangal
AIED
2005
Springer
15 years 10 months ago
The Use of Qualitative Reasoning Models of Interactions between Populations to Support Causal Reasoning of Deaf Students
Making inferences is crucial for understanding the world. The school may develop such skills but there are few formal opportunities for that. This paper describes an experiment de...
Paulo Salles, Heloisa Lima-Salles, Bert Bredeweg
157
Voted
ATAL
2005
Springer
15 years 10 months ago
Comprehending agent software
Software comprehension (understanding software structure and behavior) is essential for developing, maintaining, and improving software. This is particularly true of agent-based s...
Dung N. Lam, K. Suzanne Barber
EGC
2005
Springer
15 years 10 months ago
The Gridkit Distributed Resource Management Framework
Traditionally, distributed resource management/ scheduling systems for the Grid (e.g. Globus/ GRAM/ Condor-G) have tended to deal with coarsegrained and concrete resource types (e....
Wei Cai, Geoff Coulson, Paul Grace, Gordon S. Blai...
156
Voted
EMMCVPR
2005
Springer
15 years 10 months ago
Object Categorization by Compositional Graphical Models
This contribution proposes a compositionality architecture for visual object categorization, i.e., learning and recognizing multiple visual object classes in unsegmented, cluttered...
Björn Ommer, Joachim M. Buhmann