6799 search results - page 227 / 1360 » The Tao of Modeling Spaces |
167
click to vote
ASPLOS
2012
ACM
13 years 9 months ago
2012
ACM
Emerging fast, non-volatile memories (e.g., phase change memories, spin-torque MRAMs, and the memristor) reduce storage access latencies by an order of magnitude compared to state...
83
Voted
NIPS
2004
15 years 3 months ago
2004
We describe methods for computing an implicit model of a hypersurface that is given only by a finite sampling. The methods work by mapping the sample points into a reproducing ker...
95
Voted
JUCS
2007
15 years 1 months ago
2007
: This paper introduces model checking, originally conceived for checking finite state systems. It surveys its evolution to encompass finitely checkable properties of systems wit...
153
Voted
CVPR
2008
IEEE
16 years 3 months ago
2008
IEEE
Current approaches to pose estimation and tracking can be classified into two categories: generative and discriminative. While generative approaches can accurately determine human...
CAISE
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. This paper presents a strategy for the systematic development of dynamic web applications. The proposal extends an existing OO software production method introducing navi...