279 search results - page 20 / 56 » Testing for Refinement in CSP |
123
Voted
HUC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We present our approach to the design of two generations of outdoors device that enable visitors to view 3D historical reconstructions when exploring present day sites. R...
94
Voted
ACL
1998
15 years 4 months ago
1998
This paper presents a method that conbines a set of unsupervised algorithms in order to accurately build large taxonomies from any machine-readable dictionary (MRD). Our aim is to...
92
Voted
ICMAS
1998
15 years 4 months ago
1998
This paper presents a generic architecture for an agent capable of designing and creating new agents. The design agent itself is based on an existing generic agent model, and inclu...
104
Voted
ICIP
2010
IEEE
15 years 18 days ago
2010
IEEE
As digital images have been propagated all over the world, identification techniques for image sources become more important. In this paper, we analyze properties of the scanner a...
111
Voted
MEMOCODE
2010
IEEE
15 years 16 days ago
2010
IEEE
Design of critical embedded systems demands for guarantees on the reliability of the implementation/compilation of a specification. In general, this guarantee takes either the form...