15416 search results - page 65 / 3084 » Embeddings of Computable Structures |
DAC
2002
ACM
16 years 1 months ago
2002
ACM
Profiling an application executing on a microprocessor is part of the solution to numerous software and hardware optimization and design automation problems. Most current profilin...
97
Voted
CODES
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...
107
Voted
PADL
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. We study a number of embedded DSLs for autonomous ordinary differential equations (autonomous ODEs) in Haskell. A naive implementation based on the lazy tower of derivat...
139
click to vote
CVPR
2001
IEEE
16 years 2 months ago
2001
IEEE
Isometric surfaces share the same geometric structure also known as the `first fundamental form'. For example, all possible bending of a given surface, that include all lengt...
103
Voted
CVPR
2008
IEEE
15 years 2 months ago
2008
IEEE
In this paper, we develop a geometric framework for linear or nonlinear discriminant subspace learning and classification. In our framework, the structures of classes are conceptu...