Sciweavers

2377 search results - page 364 / 476
» Hybrid Systems in TLA
Sort
View
CP
2000
Springer
15 years 10 months ago
Constraint-Based Agents: The ABC's of CBA's
The Constraint-Based Agent (CBA) framework is a set of tools for designing, simulating, building, verifying, optimizing, learning and debugging controllers for agents embedded in a...
Alan K. Mackworth
ICRA
1999
IEEE
123views Robotics» more  ICRA 1999»
15 years 10 months ago
Planar Image Based Visual Servoing as a Navigation Problem
We describe a hybrid planar image-based servo algorithm which, for a simplified planar convex rigid body, converges to a static goal for all initial conditions within the workspac...
Noah J. Cowan, Daniel E. Koditschek
INFOCOM
1999
IEEE
15 years 10 months ago
Measurement-Based Band Allocation in Multiband CDMA
Multiband (or multi-carrier) CDMA is a promising approach to increasing the capacity of CDMA networks, while maintaining compatibility with existing systems. This paper investigate...
Lachlan L. H. Andrew
VISUAL
1999
Springer
15 years 10 months ago
General Image Database Model
In this paper we propose a new General Image DataBase (GIDB) model. The model establishes taxonomy based on the systematisation of existing approaches. The GIDB model is based on t...
Peter L. Stanchev
SSDBM
1998
IEEE
115views Database» more  SSDBM 1998»
15 years 10 months ago
Tools for Data Warehouse Quality
In this demonstration, we show three interrelated tools intended to improve different aspects of the quality of data warehouse solutions. Firstly, the deductive object manager Con...
Michael Gebhardt, Matthias Jarke, Manfred A. Jeusf...