12774 search results - page 2484 / 2555 » A Framework for Proof Systems |
183
click to vote
GECCO
2009
Springer
16 years 29 days ago
2009
Springer
VLSI research, in its continuous push toward further miniaturisation, is seeking to break through the limitations of current circuit manufacture techniques by moving towards biomi...
188
click to vote
ISVC
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. In this paper, we propose a novel and fast method to localize and track needles during image-guided interventions. Our proposed method is comprised of framework of needle...
146
click to vote
RAID
2009
Springer
16 years 28 days ago
2009
Springer
In this paper, we present an accurate and realtime PE-Miner framework that automatically extracts distinguishing features from portable executables (PE) to detect zero-day (i.e. pr...
197
click to vote
SEMWEB
2009
Springer
16 years 28 days ago
2009
Springer
The Ontology Definition Metamodel (ODM) defines a set of UML metamodels and profiles for development of RDF and OWL. The UML profiles in the ODM specification adapt UML notations t...
212
click to vote
MOBICOM
2009
ACM
16 years 27 days ago
2009
ACM
Cognitive radio is an enabling technology that allows unlicensed users to opportunistically access the spectrum in order to enhance the spectrum efficiency. In this paper, we cons...