266 search results - page 42 / 54 » UML2Alloy: A Challenging Model Transformation |
TWC
2008
13 years 9 months ago
2008
Abstract--Positioning in indoor wireless environments is growing rapidly in importance and gains commercial interests in context-awareness applications. The essential challenge in ...
ICCAD
2009
IEEE
13 years 7 months ago
2009
IEEE
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...
SIGMOD
2005
ACM
14 years 10 months ago
2005
ACM
With rapid advances in video processing technologies and ever fast increments in network bandwidth, the popularity of video content publishing and sharing has made similarity sear...
ECCV
2006
Springer
14 years 11 months ago
2006
Springer
Since it is hard to handcraft the prior knowledge in a shape detection framework, machine learning methods are preferred to exploit the expert annotation of the target shape in a d...
IPPS
2009
IEEE
14 years 4 months ago
2009
IEEE
4 Automatic diļ¬erentiation is the primary means of obtaining analytic5 derivatives from a numerical model given as a computer program. There-6 fore, it is an essential productivi...