6020 search results - page 1061 / 1204 » A New Approach to Model Counting |
160
click to vote
ADBIS
2006
Springer
16 years 7 days ago
2006
Springer
Abstract. Traditionally, the investment funds market exploits analysis and design concepts based on the procedural programming approach. We propose a set of analysis patterns which...
163
click to vote
ASPDAC
2006
ACM
16 years 7 days ago
2006
ACM
As technology scales down, timing verification of digital integrated circuits becomes an increasingly challenging task due to the gate and wire variability. Therefore, statistical...
157
click to vote
DOCENG
2006
ACM
16 years 7 days ago
2006
ACM
Microformats and semantic XHTML add semantics to web pages while taking advantage of the existing (X)HTML infrastructure. This approach enables new applications that can be deploy...
168
click to vote
OZCHI
2006
ACM
16 years 6 days ago
2006
ACM
Large displays are everywhere. However, the computer mouse remains the most common interaction tool for such displays. We propose a new approach for fingertip interaction with lar...
156
click to vote
SAC
2006
ACM
16 years 6 days ago
2006
ACM
This paper describes a new medical image analysis technique for polygon mesh surfaces of human faces for a medical diagnosis application. The goal is to explore the natural patter...