2409 search results - page 342 / 482 » On Extended Regular Expressions |
148
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
The Unified Software Development Process (USDP) and Unified Modeling Language (UML) have been now generally accepted as the standard methodology and modeling language for developin...
165
click to vote
JAIR
2008
15 years 4 months ago
2008
Probabilistic planning problems are typically modeled as a Markov Decision Process (MDP). MDPs, while an otherwise expressive model, allow only for sequential, non-durative action...
134
click to vote
ML
2008
ACM
15 years 4 months ago
2008
ACM
Label ranking studies the problem of learning a mapping from instances to rankings over a predefined set of labels. Hitherto existing approaches to label ranking implicitly operat...
129
click to vote
JANCL
2007
15 years 4 months ago
2007
Logic of proofs LP introduced by S. Artemov in 1995 describes properties of proof predicate “t is a proof of F” in the propositional language extended by atoms of the form [[t...
144
click to vote
NAR
2007
15 years 4 months ago
2007
The AthaMap database generates a map of cisregulatory elements for the whole Arabidopsis thaliana genome. This database has been extended by new tools to identify common cis-regul...