6800 search results - page 1108 / 1360 » Testing with Functions as Specifications |
138
click to vote
CLUSTER
2005
IEEE
15 years 10 months ago
2005
IEEE
The Portals data movement interface was developed at Sandia National Laboratories in collaboration with the University of New Mexico over the last ten years. Portals is intended t...
145
click to vote
DSRT
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper describes a simple distributed simulation for support of emergency response exercises. The simulation, called the Immersive Synthetic Environment for Exercises (ISEE), ...
143
Voted
ENC
2005
IEEE
15 years 10 months ago
2005
IEEE
— Recent advances in communication networks and cryptographic techniques have made possible to consider online voting systems as a feasible alternative to conventional elections....
154
click to vote
IAT
2005
IEEE
15 years 10 months ago
2005
IEEE
Partially observable Markov decision process (POMDP) is commonly used to model a stochastic environment with unobservable states for supporting optimal decision making. Computing ...
142
Voted
ICCV
2005
IEEE
15 years 10 months ago
2005
IEEE
Convexity is an important geometric property of many natural and man-made structures. Prior research has shown that it is imperative to many perceptual-organization and imageunder...