3639 search results - page 229 / 728 » Experiments on IPv6 Testing |
101
click to vote
DSD
2002
IEEE
15 years 8 months 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...
108
click to vote
ECBS
2002
IEEE
15 years 8 months 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...
124
click to vote
NLPRS
2001
Springer
15 years 8 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...
116
click to vote
PCM
2001
Springer
15 years 8 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...
137
click to vote
ICIP
2000
IEEE
15 years 8 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...