2702 search results - page 371 / 541 » Practically Applicable Formal Methods |
110
click to vote
HASE
1998
IEEE
15 years 6 months ago
1998
IEEE
An important practical problem in fault diagnosis is discriminating between permanent faults and transient faults. In many computer systems, the majority of errors are due to tran...
108
click to vote
CIKM
2009
Springer
15 years 6 months ago
2009
Springer
Record linkage is an important data integration task that has many practical uses for matching, merging and duplicate removal in large and diverse databases. However, a quadratic ...
111
Voted
COMPSAC
2004
IEEE
15 years 6 months ago
2004
IEEE
The influence of architecture in assurance of system safety is being increasingly recognised in mission-critical software applications. Nevertheless, most architectural strategies...
115
Voted
CSB
2004
IEEE
15 years 6 months ago
2004
IEEE
There is considerable interest in computational methods to assist in the use of genetic polymorphism data for locating disease-related genes. Haplotypes, contiguous sets of correl...
120
click to vote
WSCG
2004
15 years 3 months ago
2004
Good camera control and planning techniques in 3D computer games can give players deeper feelings about atmosphere of games. However, most modern computer games use fixed point-of...