Sciweavers

1669 search results - page 295 / 334
» Structured Specification of Model Interpreters
Sort
View
ENTCS
2008
175views more  ENTCS 2008»
15 years 2 months ago
AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System
A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, programming a...
Cezara Dragoi, Gheorghe Stefanescu
115
Voted
IJFCS
2006
111views more  IJFCS 2006»
15 years 2 months ago
Completeness and realizability: conditions for automatic generation of workflows
In recent years, workflow technology has greatly facilitated business process modeling and reengineering in information systems. On one hand, the separation of an application'...
Shiyong Lu, Arthur J. Bernstein, Philip M. Lewis
148
Voted
JODS
2006
131views Data Mining» more  JODS 2006»
15 years 2 months ago
Integrating and Exchanging XML Data Using Ontologies
While providing a uniform syntax and a semistructured data model, XML does not express semantics but only structure such as nesting information. In this paper, we consider the prob...
Huiyong Xiao, Isabel F. Cruz
ML
2006
ACM
163views Machine Learning» more  ML 2006»
15 years 2 months ago
Extremely randomized trees
Abstract This paper proposes a new tree-based ensemble method for supervised classification and regression problems. It essentially consists of randomizing strongly both attribute ...
Pierre Geurts, Damien Ernst, Louis Wehenkel
ICDAR
2009
IEEE
15 years 8 days ago
Analysis of Book Documents' Table of Content Based on Clustering
Table of contents (TOC) recognition has attracted a great deal of attention in recent years. After reviewing the merits and drawbacks of the existing TOC recognition methods, we h...
Liangcai Gao, Zhi Tang, Xiaofan Lin, Xin Tao, Yimi...