Sciweavers

2956 search results - page 46 / 592
» Databases and Higher Types
Sort
View
ENTCS
2002
128views more  ENTCS 2002»
14 years 9 months ago
Rewriting Calculus with(out) Types
The last few years have seen the development of a new calculus which can be considered as an outcome of the last decade of various researches on (higher order) term rewriting syst...
Horatiu Cirstea, Claude Kirchner, Luigi Liquori
DASFAA
1993
IEEE
127views Database» more  DASFAA 1993»
15 years 1 months ago
An Object-Centered Data Model for Engineering Design Databases
: Entities in engineering design databases need to evolve in both structure and behavior. Such a need is not well addressed by object-oriented data models based on the class concep...
Huibin Zhao, Alexandros Biliris
ICASSP
2009
IEEE
15 years 4 months ago
Contrasting emotion-bearing laughter types in multiparticipant vocal activity detection for meetings
The detection of laughter in conversational interaction presents an important challenge in meeting understanding, important primarily because laughter is predictive of the emotion...
Kornel Laskowski
CRYPTO
2007
Springer
145views Cryptology» more  CRYPTO 2007»
15 years 4 months ago
Chernoff-Type Direct Product Theorems
Consider a challenge-response protocol where the probability of a correct response is at least α for a legitimate user and at most β < α for an attacker. One example is a CAP...
Russell Impagliazzo, Ragesh Jaiswal, Valentine Kab...
NAR
2000
172views more  NAR 2000»
14 years 9 months ago
The Molecular Biology Database Collection: an online compilation of relevant database resources
The Molecular Biology Database Collection represents an effort geared at making molecular biology database resources more accessible to biologists. This online resource, available...
Andreas D. Baxevanis