12981 search results - page 2364 / 2597 » Model Checking (Abstract) |
129
click to vote
IJCAI
2007
15 years 5 months ago
2007
Most existing sketch understanding systems require a closed domain to achieve recognition. This paper describes an incremental learning technique for opendomain recognition. Our s...
137
click to vote
LREC
2008
15 years 5 months ago
2008
The paper presents a tool assisting manual annotation of linguistic data developed at the Department of Computational linguistics, IBL-BAS. Chooser is a general-purpose modular ap...
130
click to vote
IKE
2007
15 years 5 months ago
2007
Abstract – The method of latent semantic indexing (LSI) is well known for tackling the synonymy and polysemy problems in information retrieval. However, its performance can be ve...
139
click to vote
IPCO
2007
15 years 5 months ago
2007
Abstract. A well established heuristic approach for solving various bicriteria optimization problems is to enumerate the set of Pareto optimal solutions, typically using some kind ...
127
click to vote
ISTA
2007
15 years 5 months ago
2007
: Quality is a multidimensional concept that has different meanings in different contexts and perspectives. In the domain of Information system, quality is often understood as the ...