8828 search results - page 1259 / 1766 » Formal methods in practice |
140
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
In India there is an inequitable distribution of wealth & resources; while 70 % of population lives in villages, about 80 % of ophthalmologists practice in cities [4]. India h...
186
click to vote
VLSID
2002
IEEE
16 years 7 months ago
2002
IEEE
Interconnect delay has become a critical factor in determining the performance of integrated circuits. Routing and buffering are powerful means of improving the circuit speed and ...
132
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
One hundred thirty-eight subjects participated in a study on mobile appointment scheduling. Subjects completed a questionnaire on their primary method of managing appointments whe...
158
click to vote
RECOMB
2003
Springer
16 years 7 months ago
2003
Springer
Large-scale comparison of genomic DNA is of fundamental importance in annotating functional elements of genomes. To perform large comparisons efficiently, BLAST (Methods: Companio...
220
click to vote
EDBT
2006
ACM
16 years 7 months ago
2006
ACM
Scientific data in the life sciences is distributed over various independent multi-format databases and is constantly expanding. We discuss a scenario where a life science research...