Sciweavers

15375 search results - page 303 / 3075
» cans 2008
Sort
View
TPLP
2010
135views more  TPLP 2010»
15 years 2 months ago
Formalization of psychological knowledge in answer set programming and its application
In this paper we explore the use of Answer Set Programming (ASP) to formalize, and reason about, psychological knowledge. In the field of psychology, a considerable amount of kno...
Marcello Balduccini, Sara Girotto
TVCG
2010
162views more  TVCG 2010»
15 years 2 months ago
Computing Robustness and Persistence for Images
—We are interested in 3-dimensional images given as arrays of voxels with intensity values. Extending these values to a continuous function, we study the robustness of homology c...
Paul Bendich, Herbert Edelsbrunner, Michael Kerber
FCCM
2008
IEEE
153views VLSI» more  FCCM 2008»
15 years 10 months ago
A SRAM-based Architecture for Trie-based IP Lookup Using FPGA
Internet Protocol (IP) lookup in routers can be implemented by some form of tree traversal. Pipelining can dramatically improve the search throughput. However, it results in unbal...
Hoang Le, Weirong Jiang, Viktor K. Prasanna
CORR
2008
Springer
98views Education» more  CORR 2008»
15 years 4 months ago
The Gaussian MAC with Conferencing Encoders
We derive the capacity region of the Gaussian version of Willems's two-user MAC with conferencing encoders. This setting differs from the classical MAC in that, prior to each ...
Shraga I. Bross, Amos Lapidoth, Michele A. Wigger
SECURWARE
2008
IEEE
15 years 10 months ago
Formal Modeling of Authentication in SIP Registration
The Session Initiation Protocol (SIP) is increasingly used as a signaling protocol for administrating Voice over IP (VoIP) phone calls. SIP can be configured in several ways so t...
Anders Moen Hagalisletto, Lars Strand