2043 search results - page 67 / 409 » Some Basics on Tolerances |
152
click to vote
ITP
2010
15 years 10 months ago
2010
Abstract. We present a new scheme to translate mathematical developments from HOL Light to Coq, where they can be re-used and rechecked. By relying on a carefully chosen embedding ...
157
click to vote
EH
2004
IEEE
15 years 10 months ago
2004
IEEE
After a survey of some realizations of self-replicating machines, this paper presents the construction based selfreplication of universal 3D structures. This self-replication proc...
163
click to vote
VAMOS
2008
Springer
15 years 7 months ago
2008
Springer
In this paper, we introduce the concept of metavariability, i.e., variability with respect to basic variability attributes like binding time or constraints. While the main focus o...
159
click to vote
CICLING
2010
Springer
15 years 6 months ago
2010
Springer
This paper describes an effort towards building a Telugu Dependency Treebank. We discuss the basic framework and issues we encountered while annotating. 1487 sentences have been an...
147
click to vote
AOR
2006
15 years 6 months ago
2006
This paper is devoted to basic scheduling problems in which the scheduling cost of a job is not a function of its completion time. Instead, the cost is derived from the integratio...