Sciweavers

1637 search results - page 172 / 328
» Superimposing dynamic range
Sort
View
FMOODS
2000
15 years 5 months ago
On a Temporal Logic for Object-Based Systems
This paper presents a logic, called BOTL (Object-Based Temporal Logic), that facilitates the specification of dynamic and static properties of object-based systems. The logic is ba...
Dino Distefano, Joost-Pieter Katoen, Arend Rensink
BNCOD
1997
111views Database» more  BNCOD 1997»
15 years 5 months ago
Improved and Optimized Partitioning Techniques in Database Query Processing
Abstract. In this paper we present two improvements to the partitioning process: 1) A new dynamic bu er management strategy is employed to increase the average block size of I/O-tr...
Kjell Bratbergsengen, Kjetil Nørvåg
IJCAI
1997
15 years 5 months ago
Robust Periodic Planning and Execution for Autonomous Spacecraft
The New Millennium Remote Agent (NMRA) will be the rst on-board AI system to control an actual spacecraft. The spacecraft domain raises a number of challenges for planning and exe...
Barney Pell, Erann Gat, Ron Keesing, Nicola Muscet...
WSC
2000
15 years 5 months ago
A simulation test-bed to evaluate multi-agent control of manufacturing systems
Current research in the area of manufacturing planning and control has moved away from traditional centralized solutions towards distributed architectures that range from hierarch...
Robert W. Brennan, William O
NIPS
1996
15 years 5 months ago
Reconstructing Stimulus Velocity from Neuronal Responses in Area MT
We employed a white-noise velocity signal to study the dynamics of the response of single neurons in the cortical area MT to visual motion. Responses were quantified using reverse...
Wyeth Bair, James R. Cavanaugh, J. Anthony Movshon