4620 search results - page 407 / 924 » Comparing Object Encodings |
181
click to vote
ISCAS
2005
IEEE
16 years 14 days ago
2005
IEEE
—In this paper, a novel coding scheme is proposed for switching viewpoint in multiview video streaming, which can switch freely and efficiently between any two adjacent views of ...
157
Voted
ATAL
2005
Springer
16 years 12 days ago
2005
Springer
We motivate an approach to evaluating the utility of synthetic agents that is based on human physiology rather than questionnaires. The primary tool is an eye tracker that provide...
172
Voted
CAV
2005
Springer
16 years 12 days ago
2005
Springer
Bounded model checking is an efficient method for finding bugs in system designs. The major drawback of the basic method is that it cannot prove properties, only disprove them. R...
176
click to vote
CHARME
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
185
click to vote
FSMNLP
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Stochastic finite automata are useful for identifying substrings (chunks) within larger units of text. Relevant applications include tokenization, base-NP chunking, name...