Sciweavers

3809 search results - page 461 / 762
» Associative language descriptions
Sort
View
SPATIALCOGNITION
2004
Springer
16 years 24 days ago
Modelling Models of Robot Navigation Using Formal Spatial Ontology
Abstract. In this paper we apply a formal ontological framework in order to deconstruct two prominent approaches to navigation from cognitive robotics, the Spatial Semantic Hierarc...
John A. Bateman, Scott Farrar
ELPUB
2003
ACM
16 years 21 days ago
Using Scientific Documents for Distance Learning
: In scientific digital libraries many documents such as publications, technical reports, theses, etc. could be used as basic data supports for distance learning in the universitie...
Béatrice Rumpler
SIGSOFT
2003
ACM
16 years 21 days ago
Use case-based testing of product lines
This paper presents PLUTO, a simple and intuitive methodology to manage the testing process of product lines, described as Product Lines Use Cases (PLUCs). PLUCs are an extension ...
Antonia Bertolino, Stefania Gnesi
189
Voted
AC
2003
Springer
16 years 20 days ago
Synthesis of Asynchronous Hardware from Petri Nets
Abstract. As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call...
Josep Carmona, Jordi Cortadella, Victor Khomenko, ...
211
Voted
ASM
2003
ASM
16 years 20 days ago
Privacy, Abstract Encryption and Protocols: An ASM Model - Part I
d in Abstract State Machines – Advances in Theory and Applications: 10th International Workshop, ASM 2003, volume 2589 of LNCS, Springer–Verlag. Abstract Encryption and Protoco...
Dean Rosenzweig, Davor Runje, Neva Slani