Sciweavers

5423 search results - page 742 / 1085
» Denial-of-service in automation systems
Sort
View
179
Voted
MKM
2007
Springer
16 years 1 months ago
Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic
We address the problem of automatic synthesis of decision procedures. Our synthesis mechanism consists of several stages and submechanisms and is well-suited to the proof-planning ...
Predrag Janicic, Alan Bundy
180
Voted
RR
2007
Springer
16 years 29 days ago
AceRules: Executing Rules in Controlled Natural Language
Expressing rules in controlled natural language can bring us closer to the vision of the Semantic Web since rules can be written in the notation of the application domain and are u...
Tobias Kuhn
SAMT
2007
Springer
95views Multimedia» more  SAMT 2007»
16 years 29 days ago
A Study of Vocabularies for Image Annotation
Abstract. In order to evaluate image annotation and object categorisation algorithms, ground truth in the form of a set of images correctly annotated with text describing each imag...
Allan Hanbury
165
Voted
ICMCS
2006
IEEE
134views Multimedia» more  ICMCS 2006»
16 years 27 days ago
Automatic Extraction of Geometric Lip Features with Application to Multi-Modal Speaker Identification
In this paper we consider the problem of automatic extraction of the geometric lip features for the purposes of multi-modal speaker identification. The use of visual information ...
Ivana Arsic, Roger Vilagut, Jean-Philippe Thiran
184
Voted
IEEEICCI
2006
IEEE
16 years 27 days ago
User-centered Interactive Data Mining
While many data mining models concentrate on automation and efficiency, interactive data mining models focus on adaptive and effective communications between human users and comp...
Yan Zhao, Yaohua Chen, Yiyu Yao