4902 search results - page 123 / 981 » Structures, Semantics and Statistics |
129
click to vote
FORMATS
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Sem...
149
click to vote
IPMI
1999
Springer
16 years 4 months ago
1999
Springer
The goal of this work is to develop an approach to shape representation and classification that will allow us to detect and quantify differences in shape of anatomical structures d...
128
Voted
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
—We associate a statistical vector to a trace and a geometrical embedding to a Markov Decision Process, based on a distance on words, and study basic Membership and Equivalence p...
157
click to vote
KES
2007
Springer
15 years 10 months ago
2007
Springer
Biological systems consist of many components and interactions between them. In Systems Biology the principal problem is modeling complex biological systems and reconstructing inte...
148
click to vote
SIGIR
1995
ACM
15 years 7 months ago
1995
ACM
This paper studies noise reduction for computational efficiency improvements in a statistical learning method for text categorization, the Linear Least Squares Fit (LLSF) mapping...