9166 search results - page 1398 / 1834 » A framework for comparing models of computation |
168
click to vote
CHARME
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
201
click to vote
RT
2004
Springer
16 years 7 days ago
2004
Springer
ks: Abstraction and Rendering of Sparsely Scanned Outdoor Environments Hui Xu, Nathan Gossett and Baoquan Chen University of Minnesota Digital Technology Center at Twin Cities † ...
222
click to vote
CORR
2012
Springer
14 years 2 months ago
2012
Springer
All previous work on “candidate-control” manipulation of elections has been in the model of full-information, simultaneous voting. This is a problem, since in quite a few real...
223
click to vote
ICIP
1998
IEEE
16 years 8 months ago
1998
IEEE
We propose a new optimizer in the context of multimodal image registration. The optimized criterion is the mutual information between the images to align. This criterion requires ...
159
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
Due to larger buses (length, width) and deep sub-micron effects where coupling capacitances between bus lines are in the same order of magnitude as base capacitances, power consum...