Sciweavers

306 search results - page 7 / 62
» Testing additive integrality gaps
Sort
View
ECAI
2010
Springer
13 years 8 months ago
On Testing Answer-Set Programs
Answer-set programming (ASP) is a well-acknowledged paradigm for declarative problem solving, yet comparably little effort has been spent on the investigation of methods to support...
Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch...
SOQUA
2007
13 years 8 months ago
ConTest listeners: a concurrency-oriented infrastructure for Java test and heal tools
With the proliferation of the new multi-core personal computers, and the explosion of the usage of highly concurrent machine configuration, concurrent code moves from being writt...
Yarden Nir-Buchbinder, Shmuel Ur
IROS
2006
IEEE
138views Robotics» more  IROS 2006»
14 years 1 months ago
Hardware-in-the-loop Test Rig to Capture Aerial Robot and Sensor Suite Performance Metrics
Fully autonomous aerial robots are needed to accomplish near-Earth missions such as search and rescue, and bio-chemical sensing. Recent advances in sensor technologies ([6], [8], ...
Vefa Narli, Paul Y. Oh
ESOP
2012
Springer
12 years 3 months ago
Generate, Test, and Aggregate - A Calculation-based Framework for Systematic Parallel Programming with MapReduce
Abstract. MapReduce, being inspired by the map and reduce primitives available in many functional languages, is the de facto standard for large scale data-intensive parallel progra...
Kento Emoto, Sebastian Fischer, Zhenjiang Hu
BMCBI
2011
13 years 2 months ago
Appearance frequency modulated gene set enrichment testing
Background: Gene set enrichment testing has helped bridge the gap from an individual gene to a systems biology interpretation of microarray data. Although gene sets are defined a ...
Jun Ma, Maureen A. Sartor, H. V. Jagadish