Sciweavers

31387 search results - page 379 / 6278
» Abstracts
Sort
View
FMOODS
2007
15 years 8 months ago
Pict Correctness Revisited
The Pict programming language is an implementation of the π-calculus in which executions of π-calculus terms are specified via an abstract machine. An important property of any ...
Philippe Bidinger, Adriana B. Compagnoni
OWLED
2007
15 years 8 months ago
Structured Ontology Format
Abstract. This paper presents a simple data model for the representa
Rob Shearer
AAAI
2004
15 years 8 months ago
Metrics for Finite Markov Decision Processes
ENT ABSTRACTS
Norm Ferns, Prakash Panangaden, Doina Precup
EFDBS
2001
15 years 8 months ago
Evolving Hybrid Distributed Databases: Architecture and Methodology
Abstract. This paper focuses on the interoperability of autonomous legacy databases with the idea of meeting the future requirements of an organization. It describes a general arch...
Philippe Thiran, Jean-Luc Hainaut
172
Voted
ACL
1998
15 years 8 months ago
Generating the Structure of Argument
This paper demonstrates that generating arguments in natural language requires at an abstract level, and that the ate abstraction cannot be captured by approaches based solely upo...
Chris Reed, Derek Long