Sciweavers

2477 search results - page 414 / 496
» First-Order Interactive Programming
Sort
View
ICRA
1994
IEEE
167views Robotics» more  ICRA 1994»
14 years 2 months ago
Modeling of Deformable Thin Parts for Their Manipulation
A systematic approach to modeling of deformable soft parts for their manipulation is presented. Various deformable parts such as cords, leather products, and sheet metals are mani...
Shinichi Hirai, Hidefumi Wakamatsu, Kazuaki Iwata
SAC
1994
ACM
14 years 2 months ago
Extending a parallel CLP language to support the development of multi-agent systems
An extension of Me parallel constraint logic programming language ElipSys is presented. This extension is directed towards the development of multi-agent systems which have to dea...
Panagiotis Stamatopoulos, Dimitris Margaritis, Con...
SIGGRAPH
1994
ACM
14 years 2 months ago
Drawing and animation using skeletal strokes
strokes makes it particularly attractive in terms of storage size and transmission efficiency. Its efficient implementation is favourable for incorporation into windowing systems a...
Siu Chi Hsu, Irene H. H. Lee
SIGMOD
1989
ACM
118views Database» more  SIGMOD 1989»
14 years 2 months ago
The Architecture Of An Active Data Base Management System
The HiPAC project is investigating active, time-constrained databasemanagment. An active DBMS is one which automatically executes specified actions when speciifed conditions arise...
Dennis R. McCarthy, Umeshwar Dayal
ACMICEC
2007
ACM
127views ECommerce» more  ACMICEC 2007»
14 years 2 months ago
Symbolic model checking of institutions
Norms defined by institutions and enforced by organizations have been put forward as a mechanism to increase the efficiency and reliability of electronic transactions carried out ...
Francesco Viganò, Marco Colombetti