4418 search results - page 515 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
216
click to vote
TSP
2010
15 years 1 months ago
2010
In this paper, a practical approach for detecting packet-based orthogonal frequency division multiplexing (OFDM) signals in the presence of phase noise is presented. An OFDM packe...
175
Voted
AAMAS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. We present a novel logic-based framework to automate multi-issue bilateral negotiation in e-commerce settings. The approach exploits logic as communication language among...
165
click to vote
CVPR
2000
IEEE
16 years 8 months ago
2000
IEEE
Realistic merging of virtual and real objects requires that the augmented patterns be correctly occluded by foreground objects. In this paper, we propose a semi-automatic method f...
214
click to vote
SIGGRAPH
2010
ACM
15 years 11 months ago
2010
ACM
We introduce a purely passive facial capture approach that uses only an array of video cameras, but requires no template facial geometry, no special makeup or markers, and no acti...
287
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
Okasaki and others have demonstrated how purely functional data structures that are efficient even in the presence of persistence can be constructed. To achieve good time bounds e...