2806 search results - page 200 / 562 » BML and Related Tools |
178
click to vote
WADT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We consider the verification of a simple pipelined microprocessor in Maude, by implementing an equational theoretical model of systems. Maude is an equationally-based la...
174
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
This talk will review the progress and the evolution of the development of range sensing techniques at the NRC laboratories. Essentially a 3 0 imaging project at the beginning, it...
194
click to vote
EKAW
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Conceptual Information Systems unfold the conceptual structure of data stored in relational databases. In the design phase of the system, conceptual hierarchies have to b...
169
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
The use of the DEEP development environment to analyze parallel program performance is described. The full integrated environment contains tools for the creation, analysis and deb...
201
click to vote
SPATIALCOGNITION
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Virtual reality is used as a novel tool for behavioral experiments on humans. Two environments, Hexatown and Virtual Tubingen, are presented. Experiments on cognitive map...