1912 search results - page 357 / 383 » On the evaluation of argumentation formalisms |
OOPSLA
2005
Springer
14 years 4 months ago
2005
Springer
This paper presents a separation of concerns approach to solve the tangling problem of functional and Quality of Service (QoS) concerns in traditional Component-based Software Eng...
OOPSLA
2005
Springer
14 years 4 months ago
2005
Springer
Generalized algebraic data types (GADTs) have received much attention recently in the functional programming community. They generalize the (type) parameterized algebraic datatype...
OOPSLA
2005
Springer
14 years 4 months ago
2005
Springer
is a simple and elegant abstraction that allows concurrency to be expressed often through a relatively small rewrite of a sequential program. In the absence of side-effects, futur...
CSCW
2004
ACM
14 years 4 months ago
2004
ACM
Academic conferences provide a social space for people to present their work, learn about others’ work, and interact informally with one another. However, opportunities for inte...
SAC
2004
ACM
14 years 4 months ago
2004
ACM
The importance of text mining stems from the availability of huge volumes of text databases holding a wealth of valuable information that needs to be mined. Text categorization is...