Sciweavers

3408 search results - page 348 / 682
» Logic, language, information and computation
Sort
View
ICFP
2012
ACM
13 years 9 months ago
Introspective pushdown analysis of higher-order programs
In the static analysis of functional programs, pushdown flow analabstract garbage collection skirt just inside the boundaries of soundness and decidability. Alone, each method re...
Christopher Earl, Ilya Sergey, Matthew Might, Davi...
MTSR
2007
Springer
16 years 29 days ago
Creating and Querying an Integrated Ontology for Molecular and Phenotypic Cereals Data
In this paper we describe the development of an ontology of molecular and phenotypic cereals data, realized by integrating existing public web databases with the database developed...
Sonia Bergamaschi, Antonio Sala 0002

Book
452views
17 years 5 months ago
Practical Artificial Intelligence Programming With Java
This book shows how to implement some AI techniques in java such as Search, Reasoning, Semantic Web, Expert Systems, Genetic Algorithms, Neural Networks, Machine Learning with Weka...
Mark Watson
PUC
2002
107views more  PUC 2002»
15 years 6 months ago
Location Models from the Perspective of Context-Aware Applications and Mobile Ad Hoc Networks
Location models are crucial to location-aware applications. In this paper we present two approaches for modeling location information in an infrastructure-based and an ad hoc netwo...
Martin Bauer, Christian Becker, Kurt Rothermel
ICIW
2008
IEEE
16 years 1 months ago
DBOWL: Towards a Scalable and Persistent OWL Reasoner
—With the increasing development of real applications using Semantic Web Technologies, it is necessary to provide scalable and efficient ontology querying and reasoning systems....
María del Mar Roldán García, ...