2586 search results - page 143 / 518 » Automatic Abstraction for Congruences |
TIP
2008
14 years 10 months ago
2008
Abstract--Terahertz imaging makes it possible to acquire images of objects concealed underneath clothing by measuring the radiometric temperatures of different objects on a human s...
101
click to vote
COLING
2002
14 years 10 months ago
2002
tion. Our method was developed through the study of a corpus of abstracts written ssional abstractors. Relying on human judgment, we have evaluated indicativeness, informativeness,...
101
click to vote
JAR
2010
14 years 8 months ago
2010
Abstract. We present a declarative language inspired by the pseudonatural language used in Matita for the explanation of proof terms. We show how to compile the language to proof t...
80
Voted
PROPOR
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. In this work, we apply and evaluate a machine-learningbased system to Portuguese clause identification. To the best of our knowledge, this is the first machine-learning-b...
FM
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...