Sciweavers

1045 search results - page 43 / 209
» The Use of Exceptions
Sort
View
IFM
2009
Springer
183views Formal Methods» more  IFM 2009»
14 years 7 months ago
Challenges in the Specification of Full Contracts
Abstract. The complete specification of full contracts -- contracts which include tolerated exceptions, and which enable reasoning about the contracts themselves, can be achieved u...
Gordon J. Pace, Gerardo Schneider
HICSS
2002
IEEE
167views Biometrics» more  HICSS 2002»
15 years 2 months ago
Adoption and Use of Mobile Services: Empirical Evidence from a Finnish Survey
An analysis of a Finnish survey of 1553 respondents between 9-34 years shows that categories of users differ significantly in their use of Internet and mobile services. The five c...
Antti Aarnio, Aki Enkenberg, Jukka Heikkilä, ...
CORR
2002
Springer
187views Education» more  CORR 2002»
14 years 9 months ago
Answer Sets for Consistent Query Answering in Inconsistent Databases
A relational database is inconsistent if it does not satisfy a given set of integrity constraints. Nevertheless, it is likely that most of the data in it is consistent with the co...
Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki
IJET
2008
95views more  IJET 2008»
14 years 8 months ago
Supporting life-long competence development using the TENCompetence infrastructure: a first experiment
This paper describes an experiment to explore the effects of the TENCompetence infrastructure for supporting lifelong competence development which is now in development. This infra...
Judith Schoonenboom, Henk Sligte, Ayman Moghnieh, ...
CVPR
2009
IEEE
16 years 5 months ago
View-Invariant Dynamic Texture Recognition using a Bag of Dynamical Systems
In this paper, we consider the problem of categorizing videos of dynamic textures under varying view-point. We propose to model each video with a collection of Linear Dynamics S...
Avinash Ravichandran, René Vidal, Rizwan Ch...