Sciweavers

20306 search results - page 4048 / 4062
» Business Modelling Is Not Process Modelling
Sort
View
153
Voted
IANDC
2011
129views more  IANDC 2011»
14 years 11 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 11 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...
148
Voted
JCST
2011
89views more  JCST 2011»
14 years 11 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 11 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...
164
Voted
SIAMCO
2011
14 years 11 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 »