2858 search results - page 491 / 572 » Logics with Aggregate Operators |
164
click to vote
TLCA
2009
Springer
16 years 22 days ago
2009
Springer
Finiteness spaces constitute a categorical model of Linear Logic whose objects can be seen as linearly topologised spaces, (a class of topological vector spaces introduced by Lefsc...
180
click to vote
BIBM
2008
IEEE
16 years 20 days ago
2008
IEEE
Biologists are often interested to query published phylogenetic data for research purposes. PhyQL, a web-based visual phylogenetic query engine, can be quite useful on this regard...
156
click to vote
CEC
2008
IEEE
16 years 20 days ago
2008
IEEE
— This work is part of a project that aims to develop and operate integrated evolvable hardware systems using unconstrained evolution. Experiments are carried out on an evolvable...
158
click to vote
DATE
2008
IEEE
16 years 20 days ago
2008
IEEE
Multi-input addition is an important operation for many DSP and video processing applications. On FPGAs, multi-input addition has traditionally been implemented using trees of car...
161
click to vote
ICYCS
2008
IEEE
16 years 18 days ago
2008
IEEE
A single physical machine provides multiple network monitoring and analysis services (e.g., IDS, QoS) which are installed on the same operating system. Isolation between services ...