Sciweavers

2752 search results - page 284 / 551
» Rounding to an Integral Program
Sort
View
ECML
1997
Springer
15 years 10 months ago
Ibots Learn Genuine Team Solutions
\Ibots" (Integrating roBOTS) is a computer experiment in group learning. It is designed to understand how to use reinforcement learning to program automatically a team of robo...
Cristina Versino, Luca Maria Gambardella
HICSS
1994
IEEE
155views Biometrics» more  HICSS 1994»
15 years 10 months ago
Concurrent Simulation and Control of Robot Tasks
In the area of telerobotics, where remote systems are to be controlled, it is helpful to plan subsequent operations based on as much relevant data as possible. The simulation of t...
Ulrich Mehlhaus
SIGMOD
1989
ACM
103views Database» more  SIGMOD 1989»
15 years 10 months ago
ODE (Object Database and Environment): The Language and the Data Model
ODE is a database system and environment based on the object paradigm. It offers one integrated data model for both database and general purpose manipulation. The database is defi...
Rakesh Agrawal, Narain H. Gehani
ARCS
2006
Springer
15 years 10 months ago
Automated Construction of Dependability Models by Aspect-Oriented Modeling and Model Transformation
Abstract. In order to support the dependability analysis of a system under design in an early phase of the design process, so-called fault tolerance libraries can be created that c...
Péter Domokos, István Majzik
CSL
2004
Springer
15 years 10 months ago
A Functional Scenario for Bytecode Verification of Resource Bounds
We consider a scenario where (functional) programs in pre-compiled form are exchanged among untrusted parties. Our contribution is a system of annotations for the code that can be ...
Roberto M. Amadio, Solange Coupet-Grimal, Silvano ...