9507 search results - page 598 / 1902 » Time-based language models |
174
click to vote
ICFCA
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. In a previous ICFCA paper we have shown that, in the Description Logics EL and ELgfp, the set of general concept inclusions holding in a finite model always has a finit...
207
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
We explore the automatic generation of test data that respect constraints expressed in the Object-Role Modeling (ORM) language. ORM is a popular conceptual modeling language, prim...
156
click to vote
UM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present a study exploring the promise of developing computational systems to support the discovery and execution of opportunistic activities in mobile settings. We int...
155
click to vote
WORDS
2003
IEEE
16 years 14 days ago
2003
IEEE
The paper presents an UML profile which defines a language for specifying, visualizing, analysing and documenting dependability mechanisms. It helps to cope with the complexity of...
188
click to vote
ICALP
2003
Springer
16 years 12 days ago
2003
Springer
A special class of oracle circuits with tree-vector form is introduced. It is shown that they can be evaluated in deterministic polynomial-time with a polylog number of adaptive qu...