Home
Catalogue search
Refine your search:
Keyword
Creator / Publisher:
The Pennsylvania State University CiteSeerX Archives (21)
Chris Schmandt (2)
Christian Kästner (2)
Klaus Ostermann (2)
Munindar P. Singh (2)
Nitin Sawhney (2)
Paolo G. Giarrusso (2)
Sebastian Erdweg (2)
Thorsten Berger (2)
Tillmann Rendel (2)
more
Year
Medium
Type
BLLDB-Access:
free (21)
subject to license (0)
Search in the Catalogues and Directories
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
Sort by
creator [A → Z]
'
creator [Z → A]
'
publishing year ↑ (asc)
'
publishing year ↓ (desc)
'
title [A → Z]
'
title [Z → A]
'
Simple Search
Page:
1
2
Hits 1 – 20 of 21
1
Variability-aware parsing in the presence of lexical macros and conditional compilation
Christian Kästner
;
Paolo G. Giarrusso
;
Tillmann Rendel
...
In: http://www.informatik.uni-marburg.de/%7Ekaestner/oopsla11_typechef.pdf (2011)
BASE
Show details
2
Variability-aware parsing in the presence of lexical macros and conditional compilation
Christian Kästner
;
Paolo G. Giarrusso
;
Tillmann Rendel
...
In: http://www.cs.cmu.edu/~ckaestne/pdf/oopsla11_typechef.pdf (2011)
BASE
Show details
3
Why Smalltalk wins the host languages shootout
Lukas Renggli
;
Tudor Gîrba
In: http://scg.unibe.ch/archive/papers/Reng09bLanguageShootout.pdf (2009)
BASE
Show details
4
Parsing and translation of expressions by genetic programming
David Jackson
In: http://www.cs.bham.ac.uk/~wbl/biblio/gecco2005/docs/p1681.pdf (2005)
BASE
Show details
5
Refactoring via database representation
Péter Diviánszky
;
Rozália Szabó-nacsa
;
Zoltán Horváth
In: http://aszt.inf.elte.hu/~fun_ver/2004/papers/icai2004_paper_divip.pdf (2004)
BASE
Show details
6
M.P.: Flexible protocol specification and execution: Applying event calculus planning using commitments
Pınar Yolum
;
Munindar P. Singh
In: http://www.cmpe.boun.edu.tr/courses/cmpe593/spring2006/reading/p273-yolum.pdf (2002)
Abstract:
Protocols represent the allowed interactions among communicat-ing agents. Protocols are essential in applications such as elec-tronic commerce where it is necessary to constrain the behaviors of autonomous agents. Traditional approaches, which model proto-cols in terms of action sequences, limit the flexibility of the agents in executing the protocols. By contrast, we develop an approach for specifying protocols in which we capture the content of the ac-tions through agents ’ commitments to one another. We formalize commitments in a variant of the event calculus. We provide opera-tions and reasoning rules to capture the evolution of commitments through the agents ’ actions. Using these rules in addition to the basic event calculus axioms enables agents to reason about their actions explicitly to flexibly accommodate the exceptions and op-portunities that arise at run time. This reasoning is implemented using an event calculus planner that helps us determine flexible ex-ecution paths that respect the protocol specifications.
Keyword:
Categories and Subject Descriptors I.2.11 [Artificial Intelligence
;
commitments
;
D.2.2 [Software Engineering
;
Design Tools and Techniques General Terms Design
;
Distributed Artificial Intelligence
;
methodologies and tools
;
Verification Keywords Agent communication languages and protocols
URL:
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.517.6611
http://www.cmpe.boun.edu.tr/courses/cmpe593/spring2006/reading/p273-yolum.pdf
BASE
Hide details
7
Nomadic Radio: Speech Audio Interaction for Contextual Messaging in Nomadic Environments
Nitin Sawhney
;
Chris Schmandt
In: http://www.media.mit.edu/~nitin/NomadicRadio/tochi/tochi2000.ps (2000)
BASE
Show details
8
Nomadic Radio: Speech Audio Interaction for Contextual Messaging in Nomadic Environments
Nitin Sawhney
;
Chris Schmandt
In: http://www.media.mit.edu/~nitin/projects/NomadicRadio/tochi/tochi99.ps (2000)
BASE
Show details
9
Toward Formalizing Structured Analysis
Luciano Baresi
;
Politecnico Di Milano
In: http://home.deib.polimi.it/baresi/papers/TOSEM.pdf (1998)
BASE
Show details
10
A Graphical Environment for the Design of Concurrent Real-Time Systems
L. E. Moser
;
Y. S. Ramakrishna
;
G. Kutty
...
In: http://lsi.ugr.es/~mcapel/docencia/doctorado/seguro/TL_artl/moserRamaKuttyMelliarDillon97.pdf (1997)
BASE
Show details
11
A practical method for LR and LL syntactic error diagnosis and recovery
Michael G. Burke
;
Gerald A. Fisher
;
Thomas J. Watson
In: http://www.cs.berkeley.edu/~jcondit/pl-prelim/burke87practical.pdf (1987)
BASE
Show details
12
Published, produced and distributed by:
Maartje De Jonge
;
Lennart C. L. Kats
;
Emma Soderberg
...
In: http://www.lclnet.nl/publications/natural-and-flexible-error-recovery.pdf
BASE
Show details
13
Analysis and Visualization of Temporal Changes in Bloggers ’ Activities and Interests
Masahiko Itoh
;
Naoki Yoshinaga
;
Masashi Toyoda
...
In: http://www.tkl.iis.u-tokyo.ac.jp/top/modules/newdb/extract/1152/data/PVis2012_MasahikoITOH_r05.pdf
BASE
Show details
14
Evolution as a Noun and Evolution as a Verb
Submitted To Soce
;
M M Lehman
;
J F Ramil
...
In: http://www-dse.doc.ic.ac.uk/~mml/feast/papers/pdf/654.pdf
BASE
Show details
15
ABSTRACT Towards Supporting On-Demand Virtual Remodularization Using Program Graphs
David Shepherd
;
Lori Pollock
;
K. Vijay-shanker
In: http://www.cis.udel.edu/~shepherd/shepherdAosd2006.pdf
BASE
Show details
16
The Use of Application Domain Knowledge (and Other Techniques) for Facilitating Requirements Capture
Stewart Green
In: http://www.soi.city.ac.uk/homes/till/wp31.ps
BASE
Show details
17
Finding Common Ground: Choose, Assert, and Assume
Alex Groce
;
Martin Erwig
In: http://cs.oregonstate.edu/%7Eerwig/papers/ChooseAssertAssume_WODA12.pdf
BASE
Show details
18
CORRESPONDING AUTHOR:
Jean Carletta
;
Buccleuch Place
In: http://groups.inf.ed.ac.uk/switchboard/NXT-LREJ.pdf
BASE
Show details
19
A critical look at software tools in corpus linguistics * 1
Laurence Anthony
In: http://www.antlab.sci.waseda.ac.jp/research/20130827_linguistic_research_paper/linguistic_research_paper_final.pdf
BASE
Show details
20
9Tool for Testing Bad Student Programs
In: http://ceur-ws.org/Vol-1266/SQAMIA2014_Paper9.pdf
BASE
Show details
Page:
1
2
Mobile view
All
Catalogues
UB Frankfurt Linguistik
0
IDS Mannheim
0
OLC Linguistik
0
UB Frankfurt Retrokatalog
0
DNB Subject Category Language
0
Institut für Empirische Sprachwissenschaft
0
Leibniz-Centre General Linguistics (ZAS)
0
Bibliographies
BLLDB
0
BDSL
0
IDS Bibliografie zur deutschen Grammatik
0
IDS Bibliografie zur Gesprächsforschung
0
IDS Konnektoren im Deutschen
0
IDS Präpositionen im Deutschen
0
IDS OBELEX meta
0
MPI-SHH Linguistics Collection
0
MPI for Psycholinguistics
0
Linked Open Data catalogues
Annohub
0
Online resources
Link directory
0
Journal directory
0
Database directory
0
Dictionary directory
0
Open access documents
BASE
21
Linguistik-Repository
0
IDS Publikationsserver
0
Online dissertations
0
Language Description Heritage
0
© 2013 - 2024 Lin|gu|is|tik
|
Imprint
|
Privacy Policy
|
Datenschutzeinstellungen ändern