Sciweavers

3634 search results - page 216 / 727
» The Field Representation Language
Sort
View
TAPSOFT
1997
Springer
15 years 10 months ago
The Railroad Crossing Problem: Towards Semantics of Timed Algorithms and Their Model Checking in High Level Languages
The goal of this paper is to analyse semantics of algorithms with explicit continuous time with further aim to nd approaches to automatize model checking in high level, easily unde...
Danièle Beauquier, Anatol Slissenko
VLDB
1991
ACM
196views Database» more  VLDB 1991»
15 years 10 months ago
Kaleidoscope Data Model for An English-like Query Language
Most database interfaces provide poor guidance on ad hoc query formulation, burdening users to learn, and to recall precisely the query language and the database. Kaleidoscope avo...
Sang Kyun Cha, Gio Wiederhold
CSCLP
2008
Springer
15 years 8 months ago
From Rules to Constraint Programs with the Rules2CP Modelling Language
In this paper, we present a rule-based modelling language for constraint programming, called Rules2CP. Unlike other modelling languages, Rules2CP adopts a single knowledge represen...
François Fages, Julien Martin
ANLP
2000
97views more  ANLP 2000»
15 years 8 months ago
Trainable Methods for Surface Natural Language Generation
We present three systems for surface natural language generation that are trainable from annotated corpora. The first two systems, called NLG1 and NLG2, require a corpus marked on...
Adwait Ratnaparkhi
MAGS
2008
149views more  MAGS 2008»
15 years 6 months ago
Agent-Grid Integration Language
The GRID and MAS (Multi-Agent Systems) communities believe in the potential of GRID and MAS to enhance each other as these models have developed significant complementarities. Thu...
Clement Jonquet, Pascal Dugenie, Stefano A. Cerri