Sciweavers

3066 search results - page 55 / 614
» On Facilitating Automated Evaluation
Sort
View
MOBISYS
2004
ACM
14 years 7 months ago
Metadata Creation System for Mobile Images
The amount of personal digital media is increasing, and managing it has become a pressing problem. Effective management of media content is not possible without content-related me...
Risto Sarvas, Erick Herrarte, Anita Wilhelm, Marc ...
DLOG
2009
13 years 5 months ago
Explaining by Example: Model Exploration for Ontology Comprehension
Abstract. In this paper, we describe an approach for ontology comprehension support called model exploration in which models for ontologies are generated and presented interactivel...
Johannes Bauer, Ulrike Sattler, Bijan Parsia
ICIS
2003
13 years 9 months ago
The Impact of Information Technology Spending on Future Performance
In this study, we investigate the association between information technology (IT) spending and future firm performance. Critics contend that greater expenditures on IT rarely lead...
Mark C. Anderson, Rajiv D. Banker, Nan Hu
APLAS
2010
ACM
13 years 8 months ago
Typechecking Higher-Order Security Libraries
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
Karthikeyan Bhargavan, Cédric Fournet, Nata...
ECTEL
2006
Springer
13 years 11 months ago
A Document Reuse Tool for Communities of Practice
With the rise of the Internet, virtual communities of practice are gaining importance as a mean of sharing and exchanging information. In such environments, information reuse is of...
Aida Boukottaya, Bernadette Charlier, Christine Va...