1864 search results - page 199 / 373 » Formal topology and domains |
FMSD
2010
13 years 8 months ago
2010
In this paper, we consider verifying properties of mixed-signal circuits, i.e., circuits for which there is an interaction between analog (continuous) and digital (discrete) values...
GIS
2007
ACM
14 years 11 months ago
2007
ACM
This paper is committed to explore object-oriented methods for the classification of Quickbird images, aiming to support future urban population estimates. The study area concerns...
ICML
2005
IEEE
14 years 11 months ago
2005
IEEE
This paper presents a novel framework called proto-reinforcement learning (PRL), based on a mathematical model of a proto-value function: these are task-independent basis function...
RECOMB
2005
Springer
14 years 10 months ago
2005
Springer
Abstract. In this paper, we study lower bound techniques for branchand-bound algorithms for maximum parsimony, with a focus on gene order data. We give a simple O(n3 ) time dynamic...
ICDCS
2009
IEEE
14 years 7 months ago
2009
IEEE
In WiFi-based content distribution community infrastructure (CDCI), file servers are deployed in diverse locations around cities, caching popular files interesting to a communit...