2693 search results - page 147 / 539 » French Order Without Order |
149
Voted
IEAAIE
2004
Springer
15 years 9 months ago
2004
Springer
Learning systems have been devised as a way of overcoming the knowledge acquisition bottleneck in the development of knowledge-based systems. They often cast learning to a search p...
136
click to vote
ISMDA
2004
Springer
15 years 9 months ago
2004
Springer
MR images usually present grey level inhomogeneities which are a problem of significant importance. Eliminating these inhomogeneities is not an easy problem and has been studied a...
135
Voted
PSD
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Current network flows heuristics for cell suppression in positive tables (i.e, cell values are greater or equal than zero) rely on the solution of several minimum-cost s...
103
click to vote
VLDB
2004
ACM
15 years 9 months ago
2004
ACM
Sharing has emerged as a key idea of static and adaptive stream query processing systems. Inherent in these systems is a tension between sharing common work and avoiding unnecessa...
131
click to vote
VMCAI
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...