6020 search results - page 673 / 1204 » A New Approach to Model Counting |
249
click to vote
BIOSIG
2009
15 years 5 months ago
2009
: In ACISP'07, Bringer et al proposed a new approach for remote biometric based verification, which consists of a hybrid protocol that distributes the server side functionalit...
218
click to vote
EMNLP
2009
15 years 5 months ago
2009
Named entity disambiguation concerns linking a potentially ambiguous mention of named entity in text to an unambiguous identifier in a standard database. One approach to this task...
189
click to vote
OTM
2009
Springer
16 years 2 months ago
2009
Springer
The search for the Holy Grail in achieving interoperability of business processes, services and semantics continues with every new type or search for the Silver Bullet. Most approa...
178
click to vote
CGO
2007
IEEE
16 years 1 months ago
2007
IEEE
Applying the right compiler optimizations to a particular program can have a significant impact on program performance. Due to the non-linear interaction of compiler optimization...
194
click to vote
CODES
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a novel hybrid approach for performance analysis of a system design. Unlike other approaches in this area, in this paper we do not focus on the determination of pessimi...