4491 search results - page 582 / 899 » Algorithm Engineering |
191
click to vote
WOSP
2005
ACM
16 years 7 days ago
2005
ACM
The change of focus from code to models promoted by OMG's Model Driven Development raises the need for verification of nonfunctional characteristics of UML models, such as pe...
187
click to vote
ICAPR
2005
Springer
16 years 6 days ago
2005
Springer
Contrary to popular belief, despite decades of research in fingerprints, reliable fingerprint recognition is an open problem. Extracting features out of poor quality prints is t...
165
click to vote
ISSTA
2004
ACM
16 years 3 days ago
2004
ACM
In today’s interconnected world, malware, such as worms and viruses, can cause havoc. A malware detector (commonly known as virus scanner) attempts to identify malware. In spite...
195
Voted
ISSTA
2004
ACM
16 years 3 days ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
182
click to vote
MM
2004
ACM
16 years 3 days ago
2004
ACM
We introduce a novel approach to the creation of Virtual Reality Art installations, which supports the design of alternative worlds, in which laws of Physics can be redefined to i...