1712 search results - page 240 / 343 » Abstract Constraint Data Types |
179
click to vote
NFM
2011
14 years 5 months ago
2011
Abstract. We present a general scheme for automated instantiation-based invariant discovery. Given a transition system, the scheme produces k-inductive invariants from templates re...
106
click to vote
ACII
2011
Springer
13 years 11 months ago
2011
Springer
Abstract. In this study we propose a methodology to investigate possible prosody and voice quality correlates of social signals, and test-run it on annotated naturalistic recording...
DNIS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. As data warehousing technology gains a ubiquitous presence in business today, companies are becoming increasingly reliant upon the information contained in their data war...
HICSS
2002
IEEE
15 years 4 months ago
2002
IEEE
As XML is gathering more and more importance in the field of data interchange in distributed business to business (B2B) applications, it is increasingly important to provide a for...
TAPSOFT
1993
Springer
15 years 3 months ago
1993
Springer
: We propose a new algebraic framework for exception handling which is powerful enough to cope with many exception handling features such that recovery, implicit propagation of exc...