Sciweavers

958 search results - page 77 / 192
» Resolving the Micropayment Problem
Sort
View
AAAI
2006
14 years 11 months ago
Finding Maximally Satisfiable Terminologies for the Description Logic ALC
For ontologies represented as Description Logic Tboxes, optimised DL reasoners are able to detect logical errors, but there is comparatively limited support for resolving such pro...
Thomas Andreas Meyer, Kevin Lee, Richard Booth, Je...
ACL
2004
14 years 11 months ago
Inducing Frame Semantic Verb Classes from WordNet and LDOCE
This paper presents SemFrame, a system that induces frame semantic verb classes from WordNet and LDOCE. Semantic frames are thought to have significant potential in resolving the ...
Rebecca Green, Bonnie J. Dorr, Philip Resnik
AAAI
2006
14 years 11 months ago
Conflict Resolution and a Framework for Collaborative Interactive Evolution
Interactive evolutionary computation (IEC) has proven useful in a variety of applications by combining the subjective evaluation of a user with the massive parallel search power o...
Sean R. Szumlanski, Annie S. Wu, Charles E. Hughes
ESANN
2006
14 years 11 months ago
Adaptive Sensor Modelling and Classification using a Continuous Restricted Boltzmann Machine (CRBM)
A probabilistic, ``neural'' approach to sensor modelling and classification is described, performing local data fusion in a wireless system for embedded sensors using a ...
Tong Boon Tang, Alan F. Murray
MASCOTS
2004
14 years 11 months ago
Performance Engineering with the UML Profile for Schedulability, Performance and Time: A Case Study
We describe the application of a performance engineering methodology based on UML diagrams with annotations taken from the Profile for Schedulability, Performance and Time. The me...
Andrew J. Bennett, A. J. Field