3604 search results - page 77 / 721 » All Common Subsequences |
HICSS
1994
IEEE
15 years 4 months ago
1994
IEEE
In the area of telerobotics, where remote systems are to be controlled, it is helpful to plan subsequent operations based on as much relevant data as possible. The simulation of t...
115
click to vote
ISSTA
1993
ACM
15 years 4 months ago
1993
ACM
Mutation analysis is a powerful technique for assessing and improving the quality of test data used to unit test software. Unfortunately, current automated mutation analysis syste...
SAT
2010
Springer
15 years 3 months ago
2010
Springer
Some SAT-solvers are equipped with the ability to produce resolution proofs for problems which are unsatisfiable. Such proofs are used in a variety of contexts, including finding...
73
Voted
CIKM
2006
Springer
15 years 3 months ago
2006
Springer
In this paper we address the issue of continuous keyword queries on multiple textual streams. This line of work represents a significant departure from previous keyword search mod...
DEXAW
1995
IEEE
15 years 3 months ago
1995
IEEE
Inherent constraints play an important role in the semantic Xplain model. These constraints enable us to represent certain real world knowledge once for subsequent use in several ...