4235 search results - page 278 / 847 » Processes in Space |
170
click to vote
DSD
2005
IEEE
16 years 7 days ago
2005
IEEE
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
154
click to vote
PREMI
2005
Springer
16 years 3 days ago
2005
Springer
Pattern recognition methods for complex structured objects such as handwritten characters often have to deal with vast search spaces. Developed techniques, despite significant adv...
150
click to vote
VLDB
2005
ACM
16 years 3 days ago
2005
ACM
We study the problem of computing waveletbased synopses for massive data sets in static and streaming environments. A compact representation of a data set is obtained after a thre...
163
click to vote
CP
2004
Springer
16 years 23 hour ago
2004
Springer
A constraint satisfaction problem (CSP) model can be preprocessed to ensure that any choices made will lead to solutions, without the need to backtrack. This can be especially usef...
194
click to vote
IEAAIE
2004
Springer
16 years 2 hour 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...