Sciweavers

2962 search results - page 409 / 593
» Reasoning on Association Rules
Sort
View
LOPSTR
2009
Springer
16 years 1 months ago
Using Rewrite Strategies for Testing BUpL Agents
Abstract. In this paper we focus on the problem of testing agent programs written in BUpL, an executable, high-level modelling agent language. Our approach consists of two main ste...
Lacramioara Astefanoaei, Frank S. de Boer, M. Birn...
CDC
2008
IEEE
108views Control Systems» more  CDC 2008»
16 years 1 months ago
On the state-space design of optimal controllers for distributed systems with finite communication speed
— We consider the problem of designing optimal distributed controllers whose impulse response has limited propagation speed. We introduce a state-space framework in which such co...
Makan Fardad, Mihailo R. Jovanovic
ISCAS
2008
IEEE
160views Hardware» more  ISCAS 2008»
16 years 29 days ago
ATLAS: An adaptively formed hierarchical cell library based analog synthesis framework
— This paper presents ATLAS - a framework for automated analog circuit synthesis that comprises of both topology generation and subsequent circuit sizing. A hierarchically arrang...
Angan Das, Ranga Vemuri
WACV
2008
IEEE
16 years 28 days ago
Location-based Services using Image Search
Recent developments in image search has made them sufficiently efficient to be used in real-time applications. GPS has become a popular navigation tool. While GPS information pr...
Pieter-Paulus Vertongen, Dan Witzner Hansen
QEST
2007
IEEE
16 years 25 days ago
Probabilistic Model-Checking Support for FMEA
Failure Mode and Effect Analysis (FMEA) is a method for assessing cause-consequence relations between component faults and hazards that may occur during the lifetime of a system. ...
Lars Grunske, Robert Colvin, Kirsten Winter