15614 search results - page 441 / 3123 » The State of State |
149
click to vote
IFL
2004
Springer
16 years 8 days ago
2004
Springer
In this paper we explore how application-users can, in an interactive way, test properties about the state of GUI applications that can be classified as local state transition sys...
205
click to vote
AAMAS
2010
Springer
15 years 7 months ago
2010
Springer
Computational modeling of human belief maintenance and decision-making processes has become increasingly important for a wide range of applications. In this paper, we present a fra...
177
click to vote
ERSHOV
2003
Springer
16 years 3 days ago
2003
Springer
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
189
click to vote
ICCD
2004
IEEE
2004
IEEE
Circuit-Based Preprocessing of ILP and Its Applications in Leakage Minimization and Power Estimation
16 years 3 months ago
In this paper we discuss the application of circuit-based logical reasoning to simplify optimization problems expressed as integer linear programs (ILP) over circuit states. We de...
201
click to vote
ROBOCUP
2004
Springer
16 years 7 days ago
2004
Springer
In this paper we propose an approach for tracking a moving target using Rao-Blackwellised particle filters. Such filters represent posteriors over the target location by a mixtur...