Sciweavers

5624 search results - page 708 / 1125
» On Conditional Covering Problem
Sort
View
SAC
2003
ACM
15 years 10 months ago
Automatic Code Generation for a Convection Scheme
Traditional design and implementation of large atmospheric models is a difficult, tedious and error prone task. With the CTADEL project we investigate a new method of code genera...
Paul van der Mark, Lex Wolters, Gerard Cats
121
Voted
AIIA
2003
Springer
15 years 10 months ago
Evolving the Neural Controller for a Robotic Arm Able to Grasp Objects on the Basis of Tactile Sensors
We describe the results of a set of evolutionary experiments in which a simulated robotic arm provided with a two-fingered hand has to reach and grasp objects with different shape...
Raffaele Bianco, Stefano Nolfi
ATAL
2003
Springer
15 years 10 months ago
Deriving individual obligations from collective obligations
A collective obligation is an obligation directed to a group of agents so that the group, as a whole, is obliged to achieve a given task. The problem investigated here is the impac...
Laurence Cholvy, Christophe Garion
CSL
2003
Springer
15 years 10 months ago
Simple Stochastic Parity Games
Many verification, planning, and control problems can be modeled as games played on state-transition graphs by one or two players whose conflicting goals are to form a path in th...
Krishnendu Chatterjee, Marcin Jurdzinski, Thomas A...
144
Voted
GCC
2003
Springer
15 years 10 months ago
Preserving Data Consistency in Grid Databases with Multiple Transactions
High performance Grid computing provides an infrastructure for access and processing of large volume, terabyte or even petabytes, of distributed data. Research in data grid has foc...
Sushant Goel, Hema Sharda, David Taniar