Sciweavers

1513 search results - page 192 / 303
» A self-describing data transfer model for ITS applications
Sort
View
ESWA
2008
140views more  ESWA 2008»
15 years 6 months ago
Web taxonomy integration with hierarchical shrinkage algorithm and fine-grained relations
We address the problem of integrating web taxonomies from different real Internet applications. Integrating web taxonomies is to transfer instances from a source to target taxonom...
Chia-Wei Wu, Richard Tzong-Han Tsai, Cheng-Wei Lee...
FMCAD
2007
Springer
15 years 10 months ago
A Mechanized Refinement Framework for Analysis of Custom Memories
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
Sandip Ray, Jayanta Bhadra
JMLR
2002
138views more  JMLR 2002»
15 years 6 months ago
Text Chunking based on a Generalization of Winnow
This paper describes a text chunking system based on a generalization of the Winnow algorithm. We propose a general statistical model for text chunking which we then convert into ...
Tong Zhang, Fred Damerau, David Johnson
CLOUD
2010
ACM
15 years 11 months ago
A self-organized, fault-tolerant and scalable replication scheme for cloud storage
Failures of any type are common in current datacenters, partly due to the higher scales of the data stored. As data scales up, its availability becomes more complex, while differe...
Nicolas Bonvin, Thanasis G. Papaioannou, Karl Aber...
BPM
2009
Springer
148views Business» more  BPM 2009»
15 years 4 months ago
Enabling Widespread Configuration of Conceptual Models - An XML Approach
The manual adaptation of conceptual models in general and reference models in particular is a time consuming and error prone task, which has to be carefully conducted. The configur...
Sebastian Herwig, Armin Stein