908 search results - page 97 / 182 » Generating maximal models using the stable model semantics |
120
click to vote
TASLP
2008
15 years 4 months ago
2008
Abstract-- Traditional methods of spoken utterance classification (SUC) adopt two independently trained phases. In the first phase, an automatic speech recognition (ASR) module ret...
158
click to vote
SEMWEB
2004
Springer
15 years 9 months ago
2004
Springer
The standardization of the second generation Web Ontology Language, OWL, leaves a crucial issue for Web-based ontologies unsatisfactorily resolved: how to represent and reason with...
129
click to vote
VL
2008
IEEE
15 years 11 months ago
2008
IEEE
Visual modeling languages for discrete behavior modeling allow the modeler to describe how systems develop over time during system runs. Models of these languages are the basis fo...
137
click to vote
ICPR
2006
IEEE
16 years 5 months ago
2006
IEEE
Latent Layout Analysis (LLA) is a novel unsupervised learning technique to discover objects in unseen images using a set of un-annotated training images. LLA defines a generative ...
136
click to vote
ICALP
2001
Springer
15 years 9 months ago
2001
Springer
A cryptographic protocol can be described as a system of concurrent processes, and analysis of the traces generated by this system can be used to verify authentication and secrecy ...