1805 search results - page 172 / 361 » A Theory of Closure Operators |
154
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
Behavioral theory for higher-order process calculi is less well developed than for first-order ones such as the π-calculus. In particular, effective coinductive characterization...
146
click to vote
LATA
2009
Springer
16 years 1 months ago
2009
Springer
This paper proposes an alternative approach to the standard notion of rational (or regular) expression for tree languages. The main difference is that in the new notion we have on...
177
click to vote
COLCOM
2007
IEEE
16 years 28 days ago
2007
IEEE
—During collaborative writing each author works on a copy of the shared document. These copies are then merged to produce the final document. This asynchronous work is supported...
203
click to vote
ICNS
2007
IEEE
16 years 27 days ago
2007
IEEE
In this paper, the problem of discovering anomalies in a large-scale network based on the data fusion of heterogeneous monitors is considered. We present a classification of anoma...
130
click to vote
ISCAS
2007
IEEE
16 years 26 days ago
2007
IEEE
— We have investigated information transmission in operational transconductance amplifiers (OTA) using chopper modulation. Previous work showed that the optimal frequency bandwi...