6306 search results - page 175 / 1262 » Space, Time, and the Use of Language |
112
click to vote
CL
1999
Springer
14 years 10 months ago
1999
Springer
Van Emden's incremental queries address the inadequacy of current Prolog-style querying mechanism in most logic programming systems for interactive problem-solving. In the co...
JASIS
2000
14 years 10 months ago
2000
s In data mining, we emphasize the need for learning from huge, incomplete and imperfect data sets (Fayyad et al. 1996, Frawley et al. 1991, Piatetsky-Shapiro and Frawley, 1991). T...
102
click to vote
ICFEM
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
119
click to vote
SIMVIS
2007
14 years 12 months ago
2007
Finding objects like music albums or wines in large databases is an inherently difficult problem, especially if users do not know exactly what they are looking for. We propose th...
ICPP
2003
IEEE
15 years 3 months ago
2003
IEEE
Pairwise sequence alignment is a fundamental operation for homology search in bioinformatics. For two DNA or protein sequences of length ¢ and £ , full-matrix (FM), dynamic prog...