Sciweavers

6740 search results - page 1035 / 1348
» Using Classification as a Programming Language
Sort
View
119
Voted
LREC
2010
170views Education» more  LREC 2010»
15 years 8 months ago
Transcription Methods for Consistency, Volume and Efficiency
This paper describes recent efforts at Linguistic Data Consortium at the University of Pennsylvania to create manual transcripts as a shared resource for human language technology...
Meghan Lammie Glenn, Stephanie Strassel, Haejoong ...
WSC
2004
15 years 8 months ago
Single-Threaded Specification of Process-Interaction Formalism in Java
In order to support the conceptualization and specification of simulation models of complex systems, several formalisms or world views exist. Petri nets, differential equations, d...
Peter H. M. Jacobs, Alexander Verbraeck
284
Voted
LISP
2006
160views more  LISP 2006»
15 years 6 months ago
Formal compiler construction in a logical framework
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present a new approach based on the igher-order abstract syntax and ...
Jason Hickey, Aleksey Nogin
LOGCOM
1998
126views more  LOGCOM 1998»
15 years 6 months ago
Engineering AgentSpeak(L): A Formal Computational Model
Perhaps the most successful agent architectures, and certainly the best known, are those based on the Belief-Desire-Intention (BDI) framework. Despite the wealth of research that ...
Mark d'Inverno, Michael Luck
PVLDB
2008
134views more  PVLDB 2008»
15 years 6 months ago
Evita raced: metacompilation for declarative networks
Declarative languages have recently been proposed for many new applications outside of traditional data management. Since these are relatively early research efforts, it is import...
Tyson Condie, David Chu, Joseph M. Hellerstein, Pe...
« Prev « First page 1035 / 1348 Last » Next »