6800 search results - page 210 / 1360 » Testing with Functions as Specifications |
135
Voted
FLAIRS
2009
15 years 1 months ago
2009
Researchers in commonsense, qualitative spatial and temporal reasoning (QSTR) provide flexible and intuitive methods for reasoning about vague and uncertain information including ...
193
Voted
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
In this paper, we study the decision making process involved in the five year lifecycle of a Bluetooth software product produced by a large, multi-national test and measurement fi...
137
click to vote
ISBI
2004
IEEE
16 years 4 months ago
2004
IEEE
Recently, increasing attention has focused on exploring brain activity during rest. A current challenge is to ascertain activity patterns without using an external reference. In t...
132
click to vote
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
– Self-reconfigurable robots are modular robots that can autonomously change their shape and size to meet specific operational demands. Recently, there has been a great interest ...
124
click to vote
CEC
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper deals with the identification of the flux for a system of conservation laws in the specific example of analytic chromatography. The fundamental equations of chromatograp...