702 search results - page 42 / 141 » Identifying Graph Automorphisms Using Determining Sets |
ISCIS
2009
Springer
15 years 6 months ago
2009
Springer
—Methods for software testing based on Finite State Machines (FSMs) have been researched since the early 60’s. Many of these methods are about generating a checking sequence fr...
DILS
2007
Springer
15 years 6 months ago
2007
Springer
This paper presents the LSLink (or Life Science Link) methodology that provides users with a set of tools to explore the rich Web of interconnected and annotated objects in multipl...
106
click to vote
ISMAR
2007
IEEE
15 years 6 months ago
2007
IEEE
We present an efficient and accurate object tracking algorithm based on the concept of graph cut segmentation. The ability to track visible objects in real-time provides an inval...
ENC
2004
IEEE
15 years 3 months ago
2004
IEEE
This article deals with the problem of data cache for dynamic web servers. A set of requests (which number could be large) is submitted to a server for computing. Every request is...
SCAM
2008
IEEE
15 years 6 months ago
2008
IEEE
Bug-checking tools have been used with some success in recent years to find bugs in software. For finding bugs that can cause security vulnerabilities, bug checking tools requir...