Sciweavers

25156 search results - page 240 / 5032
» Applications for conscious systems
Sort
View
CONCUR
1997
Springer
15 years 10 months ago
Reachability Analysis of Pushdown Automata: Application to Model-Checking
We apply the symbolic analysis principle to pushdown systems. We represent (possibly in nite) sets of con gurations of such systems by means of nite-state automata. In order to re...
Ahmed Bouajjani, Javier Esparza, Oded Maler
ASWEC
2010
IEEE
15 years 6 months ago
On the Use of Properties in Java Applications
—When building software systems, developers have to weigh the benefits of using one specific solution approach against the risks and costs of using another one. This process is...
Markus Lumpe, Samrian Mahmud, Rajesh Vasa
PAMI
2006
137views more  PAMI 2006»
15 years 6 months ago
Meticulously Detailed Eye Region Model and Its Application to Analysis of Facial Images
We propose a system that is capable of detailed analysis of eye region images in terms of the position of the iris, degree of eyelid opening, and the shape, complexity, and texture...
Tsuyoshi Moriyama, Takeo Kanade, Jing Xiao, Jeffre...
CORR
2004
Springer
129views Education» more  CORR 2004»
15 years 6 months ago
Runtime Reconfiguration of J2EE Applications
: Runtime reconfiguration considered as "applying required changes to a running system" plays an important role for providing high availability not only of safety- and mi...
Jasminka Matevska-Meyer, Sascha Olliges, Wilhelm H...
ICRA
2010
IEEE
123views Robotics» more  ICRA 2010»
15 years 5 months ago
A probabilistic approach to mixed open-loop and closed-loop control, with application to extreme autonomous driving
— We consider the task of accurately controlling a complex system, such as autonomously sliding a car sideways into a parking spot. Although certain regions of this domain are ex...
J. Zico Kolter, Christian Plagemann, David T. Jack...