7109 search results - page 203 / 1422 » Process Algebra with Combinators |
148
Voted
CSMR
2002
IEEE
15 years 8 months ago
2002
IEEE
Static analysis aims at recovering the structure of a software system, while dynamic analysis focuses on its run time behaviour. We propose a technique for combining the analysis ...
128
Voted
ICPR
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper proposes a method for the rapid and precise estimation of human hand postures by combining 2-D appearance matching and 3-D model-based fitting. First a rough posture e...
143
Voted
ESORICS
2009
Springer
15 years 7 months ago
2009
Springer
Enforcing protection of medical content becomes a major issue of computer security. Since medical contents are more and more widely distributed, it is necessary to develop security...
111
Voted
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Despite the recent advances in planning for classical domains, the question of how to use domain knowledge in planning is yet to be completely and clearly answered. Some ...
140
Voted
LREC
2010
15 years 5 months ago
2010
We present an experimental framework for Entity Mention Detection in which two different classifiers are combined to exploit Data Redundancy attained through the annotation of a l...