2290 search results - page 172 / 458 » Extensible Protected Types |
184
click to vote
JLP
2010
15 years 1 months ago
2010
We present a general framework for the analysis of quantitative and qualitative properties of reactive systems, based on a notion of weighted transition systems. We introduce and ...
191
click to vote
ACL
2012
13 years 9 months ago
2012
This paper introduces BIUTEE1 , an opensource system for recognizing textual entailment. Its main advantages are its ability to utilize various types of knowledge resources, and i...
223
click to vote
LICS
2012
IEEE
13 years 9 months ago
2012
IEEE
—We propose a mathematical framework for step indexed realizability semantics of a call-by-value polymorphic lambda calculus with recursion, existential types and recursive types...
202
click to vote
CVPR
2009
IEEE
17 years 2 months ago
2009
IEEE
Edge-based color constancy makes use of image derivatives
to estimate the illuminant. However, different edge
types exist in real-world images such as shadow, geometry,
material...
158
click to vote
SCOPES
2005
Springer
16 years 10 days ago
2005
Springer
Development of network communication in a homogeneous sensor network environment is straightforward as the nodes can share message layouts simply by letting the compiler lay out m...