Sciweavers

3457 search results - page 169 / 692
» A Symbol Is Not a Symbol
Sort
View
DAS
2008
Springer
15 years 8 months ago
Performance Evaluation of Symbol Recognition and Spotting Systems: An Overview
Mathieu Delalandre, Ernest Valveny, Josep Llad&oac...
ECMDAFA
2008
Springer
110views Hardware» more  ECMDAFA 2008»
15 years 8 months ago
A Semantics-Based Aspect Language for Interactions with the Arbitrary Events Symbol
Abstract. In this paper we introduce an aspect language that can define crosscutting e
Roy Grønmo, Fredrik Sørensen, Birger...
FMCO
2008
Springer
120views Formal Methods» more  FMCO 2008»
15 years 8 months ago
Abstract Interpretation of Symbolic Execution with Explicit State Updates
Richard Bubel, Reiner Hähnle, Benjamin Wei&sz...
AAAI
2010
15 years 8 months ago
Symbolic Dynamic Programming for First-order POMDPs
Partially-observable Markov decision processes (POMDPs) provide a powerful model for sequential decision-making problems with partially-observed state and are known to have (appro...
Scott Sanner, Kristian Kersting