3639 search results - page 229 / 728 » Experiments on IPv6 Testing |
143
click to vote
DSD
2002
IEEE
16 years 13 hour ago
2002
IEEE
We use a formal tool to extract Finite State Machines (FSM) based representations (lists of states and transitions) of sequential circuits described by flip-flops and gates. The...
157
click to vote
ECBS
2002
IEEE
16 years 12 hour ago
2002
IEEE
A major setback for mobile agent technology is a lack of interoperability between systems for mobile agents which prevents them from reaching “critical mass”. In this paper, w...
172
click to vote
NLPRS
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents a method for incorporating natural language processing into existing text categorization procedures. Three aspects are considered in the investigation: (i) a m...
157
click to vote
PCM
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper proposes a novel method to detect Furon’s asymmetric watermark by using a correlation detector that is mathematically tractable and simple. The performance o...
206
click to vote
ICIP
2000
IEEE
15 years 11 months ago
2000
IEEE
Abstract—We describe a trellis-based algorithm which enables R-D optimum quantization decisions in the H.263+ video coding standard. The algorithm allows the quantization decisio...