Sciweavers

6474 search results - page 168 / 1295
» Towards a Systemic Approach to Autonomic Systems Engineering
Sort
View
CORR
2008
Springer
94views Education» more  CORR 2008»
15 years 6 months ago
Enhanced Integrated Scoring for Cleaning Dirty Texts
An increasing number of approaches for ontology engineering from text are gearing towards the use of online sources such as company intranet and the World Wide Web. Despite such r...
Wilson Wong, Wei Liu, Mohammed Bennamoun
CIRA
2007
IEEE
151views Robotics» more  CIRA 2007»
16 years 24 days ago
Vision Based Vehicle Localization for Autonomous Navigation
—The vast majority of Autonomous Ground Vehicles in development today operate with GPS based navigation systems. While the accuracy of GPS systems has improved greatly over the p...
Steven J. Velat, Jaesang Lee, N. Johnson, Carl D. ...
POPL
2010
ACM
16 years 3 months ago
Toward a Verified Relational Database Management System
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
Avraham Shinnar, Greg Morrisett, J. Gregory Malech...
ESAW
2008
Springer
15 years 8 months ago
Exception Handling in Goal-Oriented Multi-Agent Systems
Abstract. Cooperative, autonomous and distributed properties of multiagent systems deduce the dynamic capabilities of multi-agent system applications. On the other hand, these suit...
Ibrahim Cakirlar, Erdem Eser Ekinci, Oguz Dikenell...
AUTOMATICA
2004
94views more  AUTOMATICA 2004»
15 years 6 months ago
Optimal control of sampled-data piecewise affine systems
This paper addresses the optimal control problem of the continuous-time piecewise affine (PWA) systems with autonomous switching executed at each sampling time, which we call sampl...
Jun-ichi Imura