Sciweavers

4298 search results - page 286 / 860
» Computing at the top of the world
Sort
View
150
Voted
DEXA
2000
Springer
95views Database» more  DEXA 2000»
15 years 11 months ago
Formalizing Workflows Using the Event Calculus
The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper presents the use of the event calculus...
Nihan Kesim Cicekli, Yakup Yildirim
DATE
1998
IEEE
121views Hardware» more  DATE 1998»
15 years 11 months ago
Fuzzy-logic digital-analogue interfaces for accurate mixed-signal simulation
A new approach to mixed-signal circuit interfacing based on fuzzy logic models is presented. Due to their continuous rather than discrete character, fuzzy logic models offer a sig...
Tom J. Kazmierski
CARDIS
2006
Springer
101views Hardware» more  CARDIS 2006»
15 years 10 months ago
Smartcard Firewalls Revisited
Smartcards are being used as secure endpoints in computer transactions. Recently, the connectivity of smartcards has increased and future smartcards will be able to communicate ove...
Henrich Christopher Pöhls, Joachim Posegga
FC
2006
Springer
139views Cryptology» more  FC 2006»
15 years 10 months ago
Defeating Malicious Servers in a Blind Signatures Based Voting System
In this paper, we present two failures in the blind signatures based voting system Votopia [2] which has been tested during the last World Soccer Cup. We then propose a fix which r...
Sébastien Canard, Matthieu Gaud, Jacques Tr...
FSKD
2006
Springer
122views Fuzzy Logic» more  FSKD 2006»
15 years 10 months ago
Context Modeling with Bayesian Network Ensemble for Recognizing Objects in Uncertain Environments
Abstract. It is difficult to understand a scene from visual information in uncertain real world. Since Bayesian network (BN) is known as good in this uncertainty, it has received s...
Seung-Bin Im, Youn-Suk Song, Sung-Bae Cho