793 search results - page 117 / 159 » Input Modeling Tools for Complex Problems |
102
click to vote
ASPDAC
2008
ACM
15 years 1 months ago
2008
ACM
ACT Benchmarks are an immensely useful tool in performing research since they allow for rapid and clear comparison between different approaches to solving CAD problems. Recent expe...
103
click to vote
ACMSE
2005
ACM
15 years 1 months ago
2005
ACM
The popularity of mobile devices has propelled the development of many useful location-aware applications. However, the heterogeneity of mobile devices necessitates that the softw...
117
click to vote
ECCC
2007
14 years 11 months ago
2007
We propose a general cryptographic primitive called lossy trapdoor functions (lossy TDFs), and use it to develop new approaches for constructing several important cryptographic to...
120
click to vote
CVPR
2004
IEEE
16 years 1 months ago
2004
IEEE
Markov random field models provide a robust and unified framework for early vision problems such as stereo, optical flow and image restoration. Inference algorithms based on graph...
106
click to vote
DBPL
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. Based on the recursion mechanism of the XML transformation language XSL, the document transformation language DTL is defined. First the instantiation DTLreg is considere...