3793 search results - page 313 / 759 » Expressive Description Logics |
167
Voted
ENGL
2008
15 years 6 months ago
2008
With the advent of System-On-Chip (SOC) technology, there is a pressing need to enhance the quality of ools available and increase the level of abstraction at which hardware is des...
215
click to vote
COGSCI
2010
15 years 5 months ago
2010
Natural language is full of patterns that appear to fit with general linguistic rules but are ungrammatical. There has been much debate over how children acquire these ‘‘ling...
197
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Since the advent of model checking it is becoming more common for languages to be given a semantics in terms of transition systems. Such semantics allow to model check pr...
182
click to vote
AAAI
1994
15 years 8 months ago
1994
Predicting the behavior of physical systems is essential to both common sense and engineering tasks. It is made especially challenging by the lack of complete precise knowledge of...
170
click to vote
CN
1999
15 years 6 months ago
1999
We propose a generic solution for user adaptation of synchronized multimedia presentations. We consider adaptation as a transformation problem: the user specifies a predicate that...