Sciweavers

22121 search results - page 4010 / 4425
» Modeling annotated data
Sort
View
VMCAI
2005
Springer
16 years 1 months ago
Cryptographic Protocol Analysis on Real C Code
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...
Jean Goubault-Larrecq, Fabrice Parrennes
WAIM
2005
Springer
16 years 1 months ago
An Ontology Based Approach to Construct Behaviors in Web Information Systems
System behaviors specify the major functions of domain specific Web Information Systems (WIS). Traditional techniques can not satisfy various requirements or manage innumerous data...
Lv-an Tang, Hongyan Li, Zhiyong Pan, Dongqing Yang...
WEA
2005
Springer
119views Algorithms» more  WEA 2005»
16 years 1 months ago
On Symbolic Scheduling Independent Tasks with Restricted Execution Times
Ordered Binary Decision Diagrams (OBDDs) are a data structure for Boolean functions which supports many useful operations. It finds applications in CAD, model checking, and symbol...
Daniel Sawitzki
ACII
2005
Springer
16 years 1 months ago
Sketch Based Facial Expression Recognition Using Graphics Hardware
In this paper, a novel system is proposed to recognize facial expression based on face sketch, which is produced by programmable graphics hardware-GPU(Graphics Processing Unit). Fi...
Jiajun Bu, Mingli Song, Qi Wu, Chun Chen, Cheng Ji...
BTW
2005
Springer
118views Database» more  BTW 2005»
16 years 1 months ago
The MINERVA Project: Database Selection in the Context of P2P Search
: This paper presents the MINERVA project that protoypes a distributed search engine based on P2P techniques. MINERVA is layered on top of a Chord-style overlay network and uses a ...
Matthias Bender, Sebastian Michel, Gerhard Weikum,...
« Prev « First page 4010 / 4425 Last » Next »