Sciweavers

20306 search results - page 4048 / 4062
» Business Modelling Is Not Process Modelling
Sort
View
IANDC
2011
129views more  IANDC 2011»
14 years 6 months ago
Rigid tree automata and applications
We introduce the class of Rigid Tree Automata (RTA), an extension of standard bottom-up automata on ranked trees with distinguished states called rigid. Rigid states define a res...
Florent Jacquemard, Francis Klay, Camille Vacher
IJRR
2011
218views more  IJRR 2011»
14 years 6 months ago
Motion planning under uncertainty for robotic tasks with long time horizons
Abstract Partially observable Markov decision processes (POMDPs) are a principled mathematical framework for planning under uncertainty, a crucial capability for reliable operation...
Hanna Kurniawati, Yanzhu Du, David Hsu, Wee Sun Le...
JCST
2011
89views more  JCST 2011»
14 years 6 months ago
Software Defect Detection with Rocus
Software defect detection aims to automatically identify defective software modules for efficient software test in order to improve the quality of a software system. Although many...
Yuan Jiang, Ming Li, Zhi-Hua Zhou
NAR
2011
307views Computer Vision» more  NAR 2011»
14 years 6 months ago
BRENDA, the enzyme information system in 2011
The BRENDA (BRaunschweig ENzyme Database, http://www.brenda-enzymes.org) enzyme information system is the main collection of enzyme functional and property data for the scientific...
Maurice Scheer, Andreas Grote, Antje Chang, Ida Sc...
SIAMCO
2011
14 years 6 months ago
Admissible Strategies in Semimartingale Portfolio Selection
The choice of admissible trading strategies in mathematical modelling of financial markets is a delicate issue, going back to Harrison and Kreps [HK79]. In the context of optimal...
Sara Biagini, Ales Cerný
« Prev « First page 4048 / 4062 Last » Next »