Sciweavers

4209 search results - page 44 / 842
» Abstract Dialectical Frameworks
Sort
View
HCI
2009
14 years 7 months ago
Evaluation Framework towards All Inclusive Mainstream ICT
Abstract. The current paper presents the evaluation framework and plans developed for the evaluation of the applications to be developed in the context of the
Maria Gemou, Evangelos Bekiaris
CICLING
2007
Springer
15 years 4 months ago
Baby-Steps Towards Building a Spanglish Language Model
Abstract. Spanglish is the simultaneous use, or alternating of both, traditional Spanish and English within the same conversational event. This interlanguage is commonly used in U....
Juan Carlos Franco, Thamar Solorio
POPL
2009
ACM
15 years 10 months ago
A combination framework for tracking partition sizes
ibe an abstract interpretation based framework for proving relationships between sizes of memory partitions. Instances of this framework can prove traditional properties such as m...
Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv
COMMA
2010
14 years 5 months ago
Moving Between Argumentation Frameworks
Abstract argument frameworks have been used for various applications within multi-agent systems, including reasoning and negotiation. Different argument frameworks make use of diff...
Nir Oren, Chris Reed, Michael Luck
ICESS
2007
Springer
15 years 4 months ago
A Code Generation Framework for Actor-Oriented Models with Partial Evaluation
Embedded software requires concurrency formalisms other than threads and mutexes used in traditional programming languages like C. Actor-oriented design presents a high level abstr...
Gang Zhou, Man-Kit Leung, Edward A. Lee