9370 search results - page 285 / 1874 » An Abstract Notion of Application |
195
click to vote
CADE
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. The theorem prover Isabelle is used to formalise and reproduce some of the styles of reasoning used by Newton in his Principia. The Principia's reasoning is resolute...
162
click to vote
ICCAD
1996
IEEE
15 years 11 months ago
1996
IEEE
While numerous power optimization techniques have been at all levels of design process abstractions for electronic components, until now, power minimization in mixed mechanical-el...
170
click to vote
ASIACRYPT
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The complex multiplication (CM) method for genus 2 is currently the most efficient way of generating genus 2 hyperelliptic curves defined over large prime fields and suit...
165
click to vote
CICLING
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We propose to use semi-supervised learning methods to classify evaluative expressions, that is, tuples of subjects, their attributes, and evaluative words, that indicate ...
151
click to vote
CIVR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper presents a novel technique for learning the underlying structure that links visual observations with semantics. The technique, inspired by a text-retrieval tec...