3005 search results - page 544 / 601 » Logical Information Systems: from Taxonomies to Logics |
112
click to vote
POPL
1995
ACM
15 years 5 months ago
1995
ACM
Program slicing is a technique for isolating computational threads in programs. In this paper, we show how to mechanically extract a family of practical algorithms for computing s...
103
Voted
ASPDAC
2005
ACM
15 years 3 months ago
2005
ACM
— A novel wave-pipelined global interconnect system is developed for reliable, high throughput, on-chip data communication. We argue that because there is only a single signal pr...
144
click to vote
ICCV
2007
IEEE
15 years 3 months ago
2007
IEEE
Even though sensor fusion techniques based on particle filters have been applied to object tracking, their implementations have been limited to combining measurements from multip...
106
click to vote
AGI
2008
15 years 3 months ago
2008
OSCAR is a fully implemented architecture for a cognitive agent, based largely on the author's work in philosophy concerning epistemology and practical cognition. The seminal ...
115
click to vote
CDES
2006
15 years 3 months ago
2006
Abstract-- Digital signal processing (DSP) is used to perform filtering, decimation and down conversion in common communications systems, like in oversampling analog to digital con...