Sciweavers

579 search results - page 64 / 116
» Intersecting Classes and Prototypes
Sort
View
SAC
2010
ACM
14 years 2 months ago
Towards the induction of terminological decision trees
A concept learning framework for terminological representations is introduced. It is grounded on a method for inducing logic decision trees as an adaptation of the classic tree in...
Nicola Fanizzi, Claudia d'Amato, Floriana Esposito
FM
2009
Springer
95views Formal Methods» more  FM 2009»
14 years 2 months ago
It's Doomed; We Can Prove It
Abstract. Programming errors found early are the cheapest. Tools applying to the early stage of code development exist but either they suffer from false positives (“noise”) or...
Jochen Hoenicke, K. Rustan M. Leino, Andreas Podel...
CISIS
2008
IEEE
14 years 2 months ago
Integrating Shadows in Model Driven Engineering for Agile Software Development
Shadows are well known as a programming language feature in the application area of MUDs (a certain type of multi-player online game). We argue that agile methodologies can be enh...
Marc Conrad, Marianne Huchard, Thomas Preuss
ICALT
2008
IEEE
14 years 2 months ago
A Pervasive Assessment System: Extending QTI to Incorporate Ad-hoc Wireless Sensors
Ad-hoc sensor networks provide a cheap and scalable technology for constructing pervasive learning assessment systems that are embedded in physical environments. This paper propos...
Imran A. Zualkernan, Ahmed Wasfy, Imad Zabalawi, M...
DASFAA
2007
IEEE
114views Database» more  DASFAA 2007»
14 years 2 months ago
A Workload-Driven Unit of Cache Replacement for Mid-Tier Database Caching
Making multi-terabyte scientific databases publicly accessible over the Internet is increasingly important in disciplines such as Biology and Astronomy. However, contention at a c...
Xiaodan Wang, Tanu Malik, Randal C. Burns, Stratos...