4902 search results - page 220 / 981 » Structures, Semantics and Statistics |
116
click to vote
ESOP
2004
Springer
15 years 10 months ago
2004
Springer
A transaction defines a locus of computation that satisfies important concurrency and failure properties; these so-called ACID properties provide strong serialization guarantees ...
137
click to vote
QSIC
2003
IEEE
15 years 9 months ago
2003
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...
130
click to vote
GTTSE
2007
Springer
15 years 8 months ago
2007
Springer
Domain-specific modelling languages provide modelling means tailored to a particular domain. In Model-driven Engineering, it is common practice to specify such languages by modelli...
126
click to vote
ACL
2006
15 years 6 months ago
2006
This paper introduces a novel framework for the accurate retrieval of relational concepts from huge texts. Prior to retrieval, all sentences are annotated with predicate argument ...
144
click to vote
CRV
2008
IEEE
15 years 11 months ago
2008
IEEE
We propose a generative statistical approach to human motion modeling and tracking that utilizes probabilistic latent semantic (PLSA) models to describe the mapping of image featu...