5267 search results - page 594 / 1054 » Methods for Knowledge Based Controlling of Distributed Syste... |
200
Voted
ICRA
2003
IEEE
16 years 26 days ago
2003
IEEE
— This paper presents an underactuated artificial hand intended for functional replacement of the natural hand in upper limb amputees. The natural hand has three basic functiona...
207
click to vote
SPIN
2000
Springer
15 years 11 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
242
click to vote
WDAG
2010
Springer
15 years 6 months ago
2010
Springer
Abstract: Due the multiplicity of loci of control, a main issue distributed systems have to cope with lies in the uncertainty on the system state created by the adversaries that ar...
195
Voted
ACMACE
2005
ACM
16 years 1 months ago
2005
ACM
This paper describes the automatic creation of simple cinematic scenes and events that use film language (FL) as the basis for the creation of a visual story, aiming to improve it...
189
click to vote
KCAP
2005
ACM
16 years 1 months ago
2005
ACM
The Designers’ Workbench is a system, developed by the Advanced Knowledge Technologies (AKT) consortium to support designers in large organizations, such as RollsRoyce, by makin...