1593 search results - page 56 / 319 » An Intelligent Model and Its Implementation of Search Engine |
120
Voted
FATES
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The starting point for Model-Based Testing is an implementation relation that formally defines when a formal model representing the System Under Test conforms to a formal...
153
Voted
IC
2001
15 years 5 months ago
2001
In this paper, we describe the design and implementation of an XML-Based Digital Video Library (XDVL) System. The system includes automatic processes from video creation through v...
137
Voted
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
While stochastic local search (SLS) techniques are very efficient in solving hard randomly generated propositional satisfiability (SAT) problem instances, a major challenge is to i...
116
Voted
IEEEARES
2007
IEEE
15 years 10 months ago
2007
IEEE
Whether a particular computing installation meets its security goals depends on whether the administrators can create a policy that expresses these goals—security in practice re...
121
Voted
EDBTW
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We describe design and implementation of the linguistic query language DDDquery. This language aims at querying a large linguistic database storing a corpus of richly ann...