Sciweavers

12981 search results - page 273 / 2597

» Model Checking (Abstract)

105

Voted

ICFEM
2005
Springer

94views Software Engineering» more ICFEM 2005»

An Abstract Model for Process Mediation

15 years 9 months ago

An Abstract Model for Process Mediation

Download www.di.unipi.it

Michael Altenhofen, Egon Börger, Jens Lemcke

claim paper

Read More »

85

Voted

OTM
2005
Springer

68views Internet Technology» more OTM 2005»

Using Abstractions to Facilitate Management of Large ORM Models and Ontologies

15 years 9 months ago

Using Abstractions to Facilitate Management of Large ORM Models and Ontologies

Download www.meteck.org

C. Maria Keet

claim paper

Read More »

90

Voted

RULEML
2005
Springer

78views Internet Technology» more RULEML 2005»

Towards an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML

15 years 9 months ago

Towards an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML

Download rewerse.net

Adrian Giurca, Gerd Wagner

claim paper

Read More »

81

Voted

SARA
2005
Springer

85views Artificial Intelligence» more SARA 2005»

Learning Abstract Scheduling Models

15 years 9 months ago

Learning Abstract Scheduling Models

Download 4c.ucc.ie

Tom Carchrae, J. Christopher Beck

claim paper

Read More »

71

SARA
2005
Springer

60views Artificial Intelligence» more SARA 2005»

Multinomial Event Model Based Abstraction for Sequence and Text Classification

15 years 9 months ago

Multinomial Event Model Based Abstraction for Sequence and Text Classification

Download www.cs.iastate.edu

Dae-Ki Kang, Jun Zhang 0002, Adrian Silvescu, Vasa...

claim paper

Read More »

« Prev « First page 273 / 2597 Last » Next »