2838 search results - page 367 / 568 » Verifying Controlled Components |
110
click to vote
ISSTA
2000
ACM
15 years 6 months ago
2000
ACM
A number of different concepts have been proposed that, loosely speaking, revolve around the notion of software testability. Indeed, the concept of testability itself has been int...
128
Voted
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract-- The dynamics of exploration vs exploitation decisions are explored in the context of robotic search problems. Building on prior work on robotic search together with our ...
104
click to vote
CVGIP
2006
15 years 2 months ago
2006
The postures a character adopts over time are a key expressive aspect of her movement. While IK tools help a character achieve positioning constraints, there are few tools that he...
135
Voted
CERA
2002
15 years 2 months ago
2002
: Many industries are shifting from mass production to mass customization, which demands quick response to the needs of individual customers with high quality and low costs. The de...
113
click to vote
CORR
1998
Springer
15 years 2 months ago
1998
Springer
Abstract In this paper we describe a hands-on laboratory oriented instructional package that we have developed for data communications and networking. The package consists of a sof...