Sciweavers

6740 search results - page 244 / 1348
» Using Classification as a Programming Language
Sort
View
DALT
2004
Springer
15 years 7 months ago
The Semantics of MALLET-An Agent Teamwork Encoding Language
Abstract. MALLET is a team-oriented agent specification and programming language. In this paper, we define an operational semantics for MALLET in terms of a transition system. Th...
Xiaocong Fan, John Yen, Michael S. Miller, Richard...
136
Voted
CSCW
2008
ACM
15 years 4 months ago
The language of emotion in short blog texts
Emotion is central to human interactions, and automatic detection could enhance our experience with technologies. We investigate the linguistic expression of fine-grained emotion ...
Alastair J. Gill, Robert M. French, Darren Gergle,...
ESOP
2005
Springer
15 years 7 months ago
Java Jr: Fully Abstract Trace Semantics for a Core Java Language
: Fully abstract trace semantics for a core Java language. Alan Jeffrey 1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA 2 DePaul University, Chicago, IL, ...
Alan Jeffrey, Julian Rathke
ICALP
2010
Springer
15 years 7 months ago
The Downward-Closure of Petri Net Languages
We show that the downward-closure of a Petri net language is effectively computable. This is mainly done by using the notions defined for showing decidability of the reachability...
Peter Habermehl, Roland Meyer, Harro Wimmel
DOOD
1997
Springer
134views Database» more  DOOD 1997»
15 years 6 months ago
Well-Founded Semantics for Deductive Object-Oriented Database Languages
Abstract. We present a well-founded semantics for deductive objectoriented database (dood) languages by applying the alternating- xpoint characterization of the well-founded model ...
Wolfgang May, Bertram Ludäscher, Georg Lausen