Sciweavers

2562 search results - page 139 / 513
» Components of the Fundamental Category
Sort
View
ECOOPWEXCEPTION
2000
Springer
15 years 11 months ago
Action-Oriented Exception Handling in Cooperative and Competitive Concurrent Object-Oriented Systems
The chief aim of this survey is to discuss exception handling models which have been developed for concurrent object systems. In conducting this discussion we rely on the following...
Alexander B. Romanovsky, Jörg Kienzle
SCIE
1997
Springer
15 years 10 months ago
Semantic Matching: Formal Ontological Distinctions for Information Organization, Extraction, and Integration
Abstract. The task of information extraction can be seen as a problem of semantic matching between a user-defined template and a piece of information written in natural language. T...
Nicola Guarino
AIHC
2007
Springer
15 years 10 months ago
Foundations of Human Computing: Facial Expression and Emotion
Many people believe that emotions and subjective feelings are one and the same and that a goal of human-centered computing is emotion recognition. The first belief is outdated; the...
Jeffrey F. Cohn
ITP
2010
159views Mathematics» more  ITP 2010»
15 years 10 months ago
Programming Language Techniques for Cryptographic Proofs
CertiCrypt is a general framework to certify the security of cryptographic primitives in the Coq proof assistant. CertiCrypt adopts the code-based paradigm, in which the statement ...
Gilles Barthe, Benjamin Grégoire, Santiago ...
BROADNETS
2004
IEEE
15 years 10 months ago
On Wavelength Assignment in Optical Burst Switched Networks
A fundamental assumption underlying most studies of optical burst switched (OBS) networks is that full wavelength conversion is available throughout the network. In practice, howev...
Jing Teng, George N. Rouskas