6434 search results - page 1165 / 1287 » Model Transformations with Reference Models |
140
Voted
ICRA
1994
IEEE
15 years 6 months ago
1994
IEEE
A mobile robot requires perception of its local environment for both sensor based locomotion and for position estimation. Occupancy grids, based on ultrasonic range data, provide ...
154
click to vote
ICS
1994
Tsinghua U.
15 years 6 months ago
1994
Tsinghua U.
This paper describes the design of a compiler which can translate out-of-core programs written in a data parallel language like HPF. Such a compiler is required for compiling larg...
95
Voted
ICDT
1990
ACM
15 years 6 months ago
1990
ACM
Ordinary logical implication is not enough for answering queries in a logic database, since especially negative information is only implicitly represented in the database state. M...
98
Voted
APGV
2007
ACM
15 years 6 months ago
2007
ACM
This paper describes an experiment investigating for the first time, the perceptual tolerance of inconsistent projections when rotated billboards are transformed and included in a...
127
Voted
ASIACRYPT
2009
Springer
15 years 6 months ago
2009
Springer
Proofs of storage (PoS) are interactive protocols allowing a client to verify that a server faithfully stores a file. Previous work has shown that proofs of storage can be constru...