267 search results - page 46 / 54 » Formal Parametric Polymorphism |
98
Voted
CRV
2009
IEEE
15 years 6 months ago
2009
IEEE
In this paper we introduce the concept and method for adaptively tuning the model complexity in an online manner as more examples become available. Challenging classification pro...
122
click to vote
CAV
2009
Springer
16 years 6 days ago
2009
Springer
Abstract. Pseudo-code descriptions of STMs assume sequentially consistent program execution and atomicity of high-level STM operations like read, write, and commit. These assumptio...
ER
2007
Springer
15 years 5 months ago
2007
Springer
We present the semantic data model for an ontological database for subcellular anatomy for Neurosciences. The data model builds upon the foundations of OWL and the Basic Formal Ont...
114
click to vote
CVPR
2006
IEEE
15 years 5 months ago
2006
IEEE
In scenes containing specular objects, the image motion observed by a moving camera may be an intermixed combination of optical flow resulting from diffuse reflectance (diffuse ...
110
click to vote
IPPS
2005
IEEE
2005
IEEE
A Framework for Partitioning Computational Intensive Applications in Hybrid Reconfigurable Platforms
15 years 5 months ago
In this paper, we describe a prototype software framework that implements a formalized methodology for partitioning computational intensive applications between reconfigurable har...