Search Sciweavers | Sciweavers

17054 search results - page 242 / 3411

» Logics of Dynamical Systems

189

click to vote

RANLP
2003

136views Natural Language Processing» more RANLP 2003»

Semantically driven approach for scenario recognition in the IE system FRET

15 years 8 months ago

Download lml.bas.bg

This paper reports a research effort in scenario recognition task in information extraction. The presented approach uses partial semantic analysis based on logical form representa...

Svetla Boytcheva, Milena Yankova, Albena Strupchan...

claim paper

Read More »

192

click to vote

ENTCS
2007

113views more ENTCS 2007»

A Formalization of Strong Normalization for Simply-Typed Lambda-Calculus and System F

15 years 7 months ago

Download www.cs.bu.edu

We formalize in the logical framework ATS/LF a proof based on Tait’s method that establishes the simply-typed lambda-calculus being strongly normalizing. In malization, we emplo...

Kevin Donnelly, Hongwei Xi

claim paper

Read More »

183

click to vote

ICIW
2009
IEEE

149views Internet Technology» more ICIW 2009»

Towards a Disciplined Engineering of Adaptive Service-Oriented Business Processes

16 years 1 months ago

Download wwwiti.cs.uni-magdeburg.de

Today’s cross-organizations are increasingly coordinating their capabilities in the quest of dynamically adaptable and thus highly competitive realistic services. Unfortunately,...

Nasreddine Aoumeur, Kamel Barkaoui

claim paper

Read More »

127

click to vote

CADE
2007
Springer

124views Logical Reasoning» more CADE 2007»

The KeY system 1.0 (Deduction Component)

16 years 7 months ago

Download www.steffen-schlager.de

Bernhard Beckert, Martin Giese, Reiner Hähnle...

claim paper