6300 search results - page 58 / 1260 » We have it easy, but do we have it right |
131
Voted
TAP
2010
Springer
14 years 11 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
109
Voted
ICMLA
2009
14 years 10 months ago
2009
Detecting impending failure of hard disks is an important prediction task which might help computer systems to prevent loss of data and performance degradation. Currently most of t...
CCCG
2007
15 years 2 months ago
2007
For every n, we construct two arcs in the four-punctured sphere that have at least n intersections and which do not form spirals. This is accomplished in several steps: we first ...
113
Voted
VIS
2004
IEEE
16 years 2 months ago
2004
IEEE
Our research deals with a fully automatic and fast visualization of possible tumoral areas on CT Scan images. To achieve this task, we use the bilateral symmetry of the human body...
SIGUCCS
2000
ACM
15 years 5 months ago
2000
ACM
Creating a university Help Center from scratch can be a challenging yet very rewarding experience for an IT professional. Buying computers, building networks, and installing softw...