9842 search results - page 1875 / 1969 » Problem complexity |
IRI
2007
IEEE
15 years 7 months ago
2007
IEEE
Many applications require analyzing vast amounts of textual data, but the size and inherent noise of such data can make processing very challenging. One approach to these issues i...
102
Voted
IROS
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— In this paper we present a case study of cooperation of a strongly heterogeneous robot team, composed of a highly articulated humanoid robot and a wheeled robot with la...
89
Voted
KBSE
2007
IEEE
15 years 6 months ago
2007
IEEE
Software compatibility testing is an important quality assurance task aimed at ensuring that component-based software systems build and/or execute properly across a broad range of...
97
Voted
MICRO
2007
IEEE
15 years 6 months ago
2007
IEEE
Single-threaded programming is already considered a complicated task. The move to multi-threaded programming only increases the complexity and cost involved in software developmen...
97
Voted
QEST
2007
IEEE
15 years 6 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...