Sciweavers

7379 search results - page 1177 / 1476
» How Many Clusters
Sort
View
TSE
2008
92views more  TSE 2008»
15 years 4 months ago
Evaluating Test Suites and Adequacy Criteria Using Simulation-Based Models of Distributed Systems
Test adequacy criteria provide the engineer with guidance on how to populate test suites. While adequacy criteria have long been a focus of research, existing testing methods do no...
Matthew J. Rutherford, Antonio Carzaniga, Alexande...
TSMC
2008
99views more  TSMC 2008»
15 years 4 months ago
A Context-Dependent Algorithm for Merging Uncertain Information in Possibility Theory
The need to merge multiple sources of uncertain information is an important issue in many application areas, especially when there is potential for contradictions between sources. ...
Anthony Hunter, Weiru Liu
AI
2004
Springer
15 years 4 months ago
A unifying semantics for time and events
We give a formal semantics for a highly expressive language for representing temporal relationships and events. This language, which we call Versatile Event Logic (VEL), provides ...
Brandon Bennett, Antony Galton
AIEDU
2004
105views more  AIEDU 2004»
15 years 4 months ago
Evaluating the REDEEM Authoring Tool: Can Teachers Create Effective Learning Environments?
The REDEEM authoring environment allows teachers to create learning environments from existing computer-based training (CBT) by imposing their pedagogical preferences about how stu...
Shaaron Ainsworth, Shirley Grimshaw
AIM
2004
15 years 4 months ago
Qualitative Spatial Reasoning Extracting and Reasoning with Spatial Aggregates
Reasoning about spatial data is a key task in many applications, including geographic information systems, meteorological and fluid flow analysis, computer-aided design, and prote...
Christopher Bailey-Kellogg, Feng Zhao
« Prev « First page 1177 / 1476 Last » Next »