Home Catalogue search

eng

Refine your search:
- Keyword
- Creator / Publisher:
- Year
- Medium
- Type
- BLLDB-Access:
  - free (21)
  - subject to license (0)

Search in the Catalogues and Directories






	Sort by
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

© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern