Sciweavers

4480 search results - page 20 / 896
» Prototyping Completion with Constraints Using Computational ...
Sort
View
100
Voted
ICRA
1998
IEEE
91views Robotics» more  ICRA 1998»
15 years 7 months ago
Multi-Resolution Planning for Earthmoving
We suggest that planning for automated earthmoving operations such as digging a foundation or leveling a mound of soil, be treated at multiple levels. In a system that we have dev...
Sanjiv Singh, Howard Cannon
IJAOSE
2008
97views more  IJAOSE 2008»
15 years 3 months ago
Formal driven prototyping approach for multiagent systems
: Even if Multiagent Systems (MASs) are recognised as an appealing paradigm for designing many computer systems ranging from complex distributed systems to intelligent software app...
Vincent Hilaire, Pablo Gruer, Abderrafiaa Koukam, ...
132
Voted
ACSC
2004
IEEE
15 years 7 months ago
Towards the Completion of the Formal Semantics of OCL 2.0
The Object Constraint Language (OCL) is part of the Unified Modeling Language (UML) to specify restrictions on values of a given UML model. As part of the UML 2.0 standardization ...
Stephan Flake
IANDC
2010
141views more  IANDC 2010»
15 years 1 months ago
Regaining cut admissibility in deduction modulo using abstract completion
stract Completion Guillaume Burel a,c,∗ Claude Kirchner b,c aNancy-Universit´e, Universit´e Henri Poincar´e bINRIA Bordeaux - Sud-Ouest cLORIA, ´Equipe Pareo, Bˆatiment B, C...
Guillaume Burel, Claude Kirchner
DSN
2005
IEEE
15 years 9 months ago
A System Demonstration of ST-TCP
ST-TCP (Server fault-Tolerant TCP) is an extension of TCP to tolerate TCP server failures. Server fault tolerance is provided by using an active-backup server that keeps track of ...
Manish Marwah, Shivakant Mishra, Christof Fetzer