9507 search results - page 649 / 1902 » Time-based language models |
180
click to vote
ICFP
2007
ACM
16 years 7 months ago
2007
ACM
We present a pair of reasoning principles, definition and proof by rigid induction, which can be seen as proper generalizations of lazy-datatype induction to monadic effects other...
186
click to vote
CBMS
2007
IEEE
16 years 1 months ago
2007
IEEE
Representing and Reasoning about time and change is one of the primary issues in the area of Artificial Intelligence (AI) and Knowledge Representation (KR). Despite the importance...
199
click to vote
FMICS
2007
Springer
16 years 1 months ago
2007
Springer
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
168
click to vote
IAT
2006
IEEE
16 years 1 months ago
2006
IEEE
Across various domains, the relational model for databases is employed extensively for the purpose of storing, managing and retrieving data. The translation, however, of data mode...
157
click to vote
UML
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. Use Cases are widely used for specifying systems, but their semantics are unclear in ways that make it difficult to apply use cases to complex problems. In this paper, we...