6109 search results - page 1115 / 1222 » Ubiquitous Web Applications |
136
click to vote
JIIS
2006
15 years 3 months ago
2006
In recent years, emerging applications introduced new constraints for data mining methods. These constraints are typical of a new kind of data: the data streams. In data stream pro...
163
Voted
JSS
2006
15 years 3 months ago
2006
Model is a kind of codified knowledge that has been verified in solving problems. Solving a complex problem usually needs a set of models. Using components, the composition of a s...
124
click to vote
JUCS
2006
15 years 3 months ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...
151
click to vote
NAR
2008
15 years 3 months ago
2008
CMGSDB (Database for Computational Modeling of Gene Silencing) is an integration of heterogeneous data sources about Caenorhabditis elegans with capabilities for compositional dat...
115
click to vote
KI
2006
Springer
15 years 3 months ago
2006
Springer
The desire to share and reuse knowledge has led to the establishment of the Web Ontology Language (OWL) knowledge representation language. The Naturnet-Redime project needs to shar...