11376 search results - page 115 / 2276 » Willow System Demonstration |
150
click to vote
RAS
2006
15 years 6 months ago
2006
Imitation in artificial systems involves a number of important aspects, such as extracting the relevant features of the demonstrated behaviour, inverse mapping observations, and e...
181
click to vote
TSE
1998
15 years 6 months ago
1998
—There are many standards which are relevant for building safety or mission critical software systems. An effective standard is one that should help developers, assessors, and us...
215
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
Operating systems engineers have developed tracing tools that log details about process execution at the kernel level. These tools make it easier to understand the actual executio...
184
click to vote
CODES
2010
IEEE
15 years 4 months ago
2010
IEEE
Monitoring human movements using wireless sensory devices promises to revolutionize the delivery of healthcare services. In spite of their potentials for many application domains,...
223
click to vote
JSC
2010
15 years 1 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...