Sciweavers

5372 search results - page 224 / 1075
» complexity 2007
Sort
View
CASCON
2001
115views Education» more  CASCON 2001»
13 years 9 months ago
Lightweight reasoning about program correctness
Automated verification tools vary widely in the types of properties they are able to analyze, the complexity of their algorithms, and the amount of necessary user involvement. In ...
Marsha Chechik, Wei Ding
ICONIP
2004
13 years 9 months ago
Generalization in Learning Multiple Temporal Patterns Using RNNPB
Abstract. This paper examines the generalization capability in learning multiple temporal patterns by the recurrent neural network with parametric bias (RNNPB). Our simulation expe...
Masato Ito, Jun Tani
ESANN
2001
13 years 9 months ago
Some known facts about financial data
: Many researchers are interesting in applying the neural networks methods to financial data. In fact these data are very complex, and classical methods do not always give satisfac...
Eric de Bodt, Joseph Rynkiewicz, Marie Cottrell
DAGSTUHL
2003
13 years 9 months ago
Query Answering in Inconsistent Databases
In this chapter, we summarize the research on querying inconsistent databases we have been conducting over the last five years. The formal framework we have used is based on two c...
Leopoldo E. Bertossi, Jan Chomicki
DGO
2003
127views Education» more  DGO 2003»
13 years 9 months ago
A Geographic Visual Query Composer (GVQC) for Accessing Federal Databases
The paper introduces a query tool which allows users (either database experts or non-specialist users) to visually formulate and execute spatial queries directed to large federal ...
Diansheng Guo