Sciweavers

5856 search results - page 703 / 1172
» Developing Query Patterns
Sort
View
ENTCS
2007
114views more  ENTCS 2007»
15 years 4 months ago
Reporting Failures in Functional Logic Programs
Computing with failures is a typical programming technique in functional logic programs. However, there are also situations where a program should not fail (e.g., in a determinist...
Michael Hanus
146
Voted
IDA
2007
Springer
15 years 4 months ago
Anomaly detection in data represented as graphs
An important area of data mining is anomaly detection, particularly for fraud. However, little work has been done in terms of detecting anomalies in data that is represented as a g...
William Eberle, Lawrence B. Holder
152
Voted
MCS
2007
Springer
15 years 4 months ago
Parallel unstructured mesh generation by an advancing front method
Mesh generation is a critical step in high fidelity computational simulations. High-quality and high-density meshes are required to accurately capture the complex physical phenome...
Yasushi Ito, Alan M. Shih, Anil K. Erukala, Bharat...
COGSCI
2004
120views more  COGSCI 2004»
15 years 4 months ago
Children's causal inferences from indirect evidence: Backwards blocking and Bayesian reasoning in preschoolers
Previous research suggests that children can infer causal relations from patterns of events. However, what appear to be cases of causal inference may simply reduce to children rec...
David M. Sobel, Joshua B. Tenenbaum, Alison Gopnik
154
Voted
ENTCS
2002
128views more  ENTCS 2002»
15 years 4 months ago
Rewriting Calculus with(out) Types
The last few years have seen the development of a new calculus which can be considered as an outcome of the last decade of various researches on (higher order) term rewriting syst...
Horatiu Cirstea, Claude Kirchner, Luigi Liquori