Sciweavers

7121 search results - page 1099 / 1425
» Modeling Signs Using Functional Data Analysis
Sort
View
CONCUR
2006
Springer
15 years 10 months ago
Proving Liveness by Backwards Reachability
Abstract. We present a new method for proving liveness and termination properties for fair concurrent programs, which does not rely on finding a ranking function or on computing th...
Parosh Aziz Abdulla, Bengt Jonsson, Ahmed Rezine, ...
NAR
2008
152views more  NAR 2008»
15 years 6 months ago
PROMALS3D web server for accurate multiple protein sequence and structure alignments
Multiple sequence alignments are essential in computational sequence and structural analysis, with applications in homology detection, structure modeling, function prediction and ...
Jimin Pei, Ming Tang, Nick V. Grishin
DATE
2005
IEEE
134views Hardware» more  DATE 2005»
16 years 8 days ago
Assertion-Based Design Exploration of DVS in Network Processor Architectures
With the scaling of technology and higher requirements on performance and functionality, power dissipation is becoming one of the major design considerations in the development of...
Jia Yu, Wei Wu, Xi Chen, Harry Hsieh, Jun Yang 000...
208
Voted
BMCBI
2004
124views more  BMCBI 2004»
15 years 6 months ago
The Molecular Pages of the mesotelencephalic dopamine consortium (DopaNet)
Background: DopaNet http://www.dopanet.org is a Systems Biology initiative that aims to investigate precisely and quantitatively all the aspects of neurotransmission in a specific...
Nicolas Le Novère, Marco Donizelli
ICALP
2009
Springer
16 years 7 months ago
Correlation Clustering Revisited: The "True" Cost of Error Minimization Problems
Correlation Clustering was defined by Bansal, Blum, and Chawla as the problem of clustering a set of elements based on a possibly inconsistent binary similarity function between e...
Nir Ailon, Edo Liberty
« Prev « First page 1099 / 1425 Last » Next »