Sciweavers

2978 search results - page 301 / 596
» Operations Research
Sort
View
FORTEST
2008
15 years 6 months ago
Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...
Margus Veanes, Colin Campbell, Wolfgang Grieskamp,...
124
Voted
BILDMED
2008
129views Algorithms» more  BILDMED 2008»
15 years 6 months ago
Evaluating the Performance of Processing Medical Volume Data on Graphics Hardware
With the broad availability and increasing performance of commodity graphics processors (GPU), non-graphical applications have become an active field of research. However, leveragi...
Matthias Raspe, Guido Lorenz, Stefan Müller 0...
HVEI
2010
15 years 6 months ago
Top-down modulation: the crossroads of perception, attention and memory
Research in our laboratory focuses on understanding the neural mechanisms that serve at the crossroads of perception, memory and attention, specifically exploring how brain region...
Adam Gazzaley
152
Voted
DAGSTUHL
2007
15 years 6 months ago
Normative Multi-Agent Organizations: Modeling, Support and Control, Draft Version
Abstract. In the last years, social and organizational aspects of agency have become a major issue in multi-agent systems’ research. Recent applications of MAS enforce the need o...
Olivier Boissier, Benjamin Gâteau
COMAD
2008
15 years 6 months ago
Silverfish: A Contextual Knowledge Extraction and Aggregation System for Academics
Repositories like arXiv1 and knowledge bases like CiteSeer2 are increasingly becoming central to academicians and researchers. However, current systems provide too little semantic...
Srinath Srinivasa, Aditya Ramana Rachakonda