9405 search results - page 1276 / 1881 » Computing a Model of Set Theory |
161
click to vote
ICCAD
2004
IEEE
16 years 4 months ago
2004
IEEE
This paper introduces an efficient and accurate interconnect simulation technique. A new formulation for typical VLSI interconnect structures is proposed which, in addition to pr...
165
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
Running several sub-optimal algorithms and choosing the optimal one is a common procedure in computer science, most notably in the design of approximation algorithms. This paper d...
148
click to vote
WEBI
2007
Springer
16 years 1 months ago
2007
Springer
This paper proposes a method for the mapping of ontologies that, in a greater extent than other approaches, discovers and exploits sets of latent features for approximating the in...
214
click to vote
ACOM
2006
Springer
16 years 1 months ago
2006
Springer
Abstract. In this paper, we identify some problems with current formalizations of conditional commitments, i.e. commitments to achieve a goal if some condition becomes true. We pre...
170
click to vote
ACII
2005
Springer
16 years 21 days ago
2005
Springer
Tracking people using movie sequences is not straightforward because of the human body's articulation and the complexity of a person's movements. In this paper we show ho...