3228 search results - page 369 / 646 » Computationally Sound Proofs |
154
click to vote
CHI
2001
ACM
16 years 4 months ago
2001
ACM
While predictions abound that electronic books will supplant traditional paper-based books, many people bemoan the coming loss of the book as cultural artifact. In this project we...
140
click to vote
MOBICOM
2009
ACM
15 years 10 months ago
2009
ACM
A growing number of mobile computing applications are centered around the user’s location. The notion of location is broad, ranging from physical coordinates (latitude/longitude...
173
click to vote
AB
2008
Springer
15 years 10 months ago
2008
Springer
A specific class of ODEs has been shown to be adequate to describe the essential features of the complex dynamics of Gene-Regulatory Networks (GRN). But, the effective exploitatio...
133
click to vote
RECOMB
2006
Springer
16 years 4 months ago
2006
Springer
Abstract. The understanding of genome rearrangements is an important endeavor in comparative genomics. A major computational problem in this field is finding a shortest sequence of...
121
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
In a network consisting of several thousands computers, the occurrence of faults is unavoidable. Being able to test the behaviour of a distributed program in an environment where ...