Sciweavers

8266 search results - page 350 / 1654
» Information About the Journal
Sort
View
IPPS
2000
IEEE
15 years 11 months ago
Implementation of Finite Lattices in VLSI for Fault-State Encoding in High-Speed Networks
In this paper the propagation of information about fault states and its implementation in high-speed networks is discussed. The algebraic concept of a lattice partial ordered set ...
Andreas C. Döring, Gunther Lustig
ROBOCUP
1999
Springer
138views Robotics» more  ROBOCUP 1999»
15 years 11 months ago
All Botz
This paper provides general information about research at the University of Auckland into autonomous agents in highly dynamic environments, in particular in RoboCup. The paper desc...
Jacky Baltes, Nicholas Hildreth, David Maplesden
CARDIS
1998
Springer
111views Hardware» more  CARDIS 1998»
15 years 11 months ago
Smart Card Crypto-Coprocessors for Public-Key Cryptography
This paper intends to provide information about up-to-date performances of smart-card arithmetic coprocessors regarding major public-key cryptosystems and analyze the main tendence...
Helena Handschuh, Pascal Paillier
FTRTFT
1992
Springer
15 years 10 months ago
Specification and Verification of Real-Time Behaviour Using Z and RTL
Real-Time Logic is a formal notation for reasoning about temporal behaviour. Z is a general purpose specification language, but lacks explicit features for expressing real-time co...
Colin J. Fidge
ELPUB
2007
ACM
15 years 10 months ago
Automatic Sentiment Analysis in On-line Text
The growing stream of content placed on the Web provides a huge collection of textual resources. People share their experiences on-line, ventilate their opinions (and frustrations...
Erik Boiy, Pieter Hens, Koen Deschacht, Marie-Fran...