Sciweavers

409 search results - page 24 / 82
» Classification Procedures for Software Evaluation
Sort
View
JECR
2000
123views more  JECR 2000»
14 years 9 months ago
Knowledgeable Agents for Search and Choice Support in E-commerce: A Decision Support Systems Approach
Software agents are a major innovation in how people use information systems, and they have parallels with how Decision Support Systems (DSS) support human decision-making. A DSS ...
Susan Sproule, Norman P. Archer
IUI
2009
ACM
15 years 6 months ago
From geek to sleek: integrating task learning tools to support end users in real-world applications
Numerous techniques exist to help users automate repetitive tasks; however, none of these methods fully support enduser creation, use, and modification of the learned tasks. We pr...
Aaron Spaulding, Jim Blythe, Will Haines, Melinda ...
KBSE
2010
IEEE
14 years 8 months ago
Solving string constraints lazily
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
Pieter Hooimeijer, Westley Weimer
ISEMANTICS
2010
14 years 8 months ago
An evaluation of approaches to federated query processing over linked data
The Web has evolved from a global information space of linked documents to a web of linked data. The Web of Data enables answering complex, structured queries that could not be an...
Peter Haase, Tobias Mathäß, Michael Zil...
ICPR
2010
IEEE
14 years 7 months ago
Automatically Detecting Peaks in Terahertz Time-Domain Spectroscopy
To classify spectroscopic measurements it is necessary to have comparable methods of evaluation. In Terahertz (THz) time-domain spectroscopy, as a new technology, neither the pres...
Henrike Stephani, Joachim Jonuscheit, Christoph Ro...