886 search results - page 93 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
HICSS
2007
IEEE
15 years 4 months ago
2007
IEEE
Constructing interdisciplinary knowledge requires knowledge sharing between researchers studying the same object from different disciplinary angles. Such sharing is particularly d...
EMNLP
2009
14 years 7 months ago
2009
We present a machine translation framework that can incorporate arbitrary features of both input and output sentences. The core of the approach is a novel decoder based on lattice...
SACRYPT
2004
Springer
15 years 3 months ago
2004
Springer
A general method to secure cryptographic algorithm implementations against side-channel attacks is the use of randomization techniques and, in particular, masking. Roughly speaking...
CVPR
1997
IEEE
15 years 2 months ago
1997
IEEE
In this paper two new feature tracking algorithms are proposed. In the first algorithm, a perspective camera model is used. Making use of the projective inuariant of Barrett, and ...
SIGCSE
2002
ACM
14 years 9 months ago
2002
ACM
This paper covers the use of Java and its API for developing networking programs in an undergraduate computer networks class. Through the use of TCP and UDP sockets provided in th...