1746 search results - page 179 / 350 » A Constructive Semantics for ALC |
144
click to vote
CSSE
2004
IEEE
15 years 6 months ago
2004
IEEE
The Synchronized Multimedia Integration Language (SMIL) [Aya01] is an W3C [W3C03] specification for authoring multimedia documents. Although SMIL has XML like syntactic constructs...
162
Voted
TASLP
2002
15 years 5 months ago
2002
Abstract--We describe some high-level approaches to estimating confidence scores for the words output by a speech recognizer. By "high-level" we mean that the proposed me...
155
Voted
TCS
2010
15 years 4 months ago
2010
The refinement calculus of Back, Morgan, Morris, and others is based on monotone predicate transformers (weakest preconditions) where conjunctions stand for demonic choices betwee...
189
click to vote
DLOG
2010
15 years 4 months ago
2010
Multiple distributed and modular ontology representation frameworks have recently appeared. They typically extend Description Logics (DL), with new constructs to represent relation...
187
Voted
FUIN
2010
15 years 3 months ago
2010
In previous work we have proposed an extension to ASP (Answer Set Programming), called RASP, standing for ASP with Resources. RASP supports declarative reasoning on production and...