5269 search results - page 172 / 1054 » order 2007 |
ISCAS
2007
IEEE
15 years 10 months ago
2007
IEEE
— This paper reports a novel integrated circuit for fluorescence sensing. The circuit implements a differential readout architecture in order to reduce the overall noise figure...
123
click to vote
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
Terminator is a static analysis tool developed by Microsoft Research for proving termination of Windows device drivers written in C. This proof pearl describes a formalization in h...
137
click to vote
WETICE
2007
IEEE
15 years 10 months ago
2007
IEEE
1 This paper presents a proposal for integrating CoLab, our co-browsing system, with an audioconference controller. In order to integrate these two applications, we adopted the int...
109
click to vote
AAECC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We review a binary sequence based on the generalized cyclotomy of order 2 with respect to p3 , where p is an odd prime. Linear complexities, minimal polynomials and autoc...
125
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
We introduce in this paper an agent model based on coherence theory. We give a formalization of Thagard’s theory on coherence and use it to explain the reasoning process of an in...