Sciweavers

4767 search results - page 354 / 954
» Structures for Abstract Rewriting
Sort
View
KES
2004
Springer
16 years 1 days ago
Intelligent Web Site: Understanding the Visitor Behavior
Abstract. Intelligent web site is a new portal generation, able to improve its structure and content based on the analysis of the user behavior. This paper focuses on modeling the ...
Juan D. Velásquez, Pablo A. Estévez,...
SIGADA
2004
Springer
16 years 1 days ago
GNAT: on the road to Ada 2005
The GNAT Development Team is directly involved with the Ada 2005 effort, both participating in the Ada Rapporteur Group (ARG), and implementing and testing the new features propo...
Javier Miranda, Edmond Schonberg
VOSS
2004
Springer
152views Mathematics» more  VOSS 2004»
16 years 1 days ago
Symbolic Representations and Analysis of Large Probabilistic Systems
Abstract. This paper describes symbolic techniques for the construction, representation and analysis of large, probabilistic systems. Symbolic approaches derive their efficiency by...
Andrew S. Miner, David Parker
WADT
2004
Springer
16 years 1 days ago
Ontologies for the Semantic Web in Casl
Abstract. This paper describes a sublanguage of Casl, called CaslDL, that corresponds to the Web Ontology Language (OWL) being used for the semantic web. OWL can thus benefit from...
Klaus Lüttich, Till Mossakowski, Bernd Krieg-...
ICDAR
2003
IEEE
15 years 12 months ago
Document Transformation System from Papers to XML Data Based on Pivot XML Document Method
This paper proposes a new method for document transformation using OCR to generate various XML documents from printed documents. The proposed method adopts a hierarchical transfor...
Yasuto Ishitani