Sciweavers

4209 search results - page 142 / 842
» Abstract Dialectical Frameworks
Sort
View
VLSID
2003
IEEE
134views VLSI» more  VLSID 2003»
16 years 6 months ago
A Framework for Energy and Transient Power Reduction during Behavioral Synthesis
Abstract-- In battery driven portable applications, the minimization of energy, average power, peak power, and peak power differential are equally important to improve reliability ...
Saraju P. Mohanty, N. Ranganathan
RECOMB
2005
Springer
16 years 6 months ago
A Framework for Orthology Assignment from Gene Rearrangement Data
Abstract. Gene rearrangements have been used successfully in phylogenetic reconstruction and comparative genomics, but usually under the assumption that all genomes have the same g...
Krister M. Swenson, Nicholas D. Pattengale, Bernar...
IPMI
2009
Springer
16 years 1 months ago
A Framework for Brain Registration via Simultaneous Surface and Volume Flow
Abstract. Volumetric registration of brain MR images presents a challenging problem due to the wide variety of sulcal folding patterns. We present a novel volumetric registration m...
Anand A. Joshi, Richard M. Leahy, Arthur W. Toga, ...
CSFW
2009
IEEE
16 years 1 months ago
ASPIER: An Automated Framework for Verifying Security Protocol Implementations
Abstract. We present aspier – the first framework that combines software model checking with a standard protocol security model to analyze authentication and secrecy properties ...
Sagar Chaki, Anupam Datta
INFOCOM
2009
IEEE
16 years 1 months ago
MobTorrent: A Framework for Mobile Internet Access from Vehicles
Abstract—In this paper, we present MobTorrent, an ondemand, user-driven framework designed for vehicles which have intermittent high speed access to roadside WiFi access points (...
Bin Bin Chen, Mun Choon Chan