Sciweavers

13977 search results - page 403 / 2796
» Evolution in complex systems
Sort
View
TCS
2011
15 years 1 months ago
Realizability models and implicit complexity
New, simple, proofs of soundness (every representable function lies in a given complexity class) for Elementary Affine Logic, LFPL and Soft Affine Logic are presented. The proofs ...
Ugo Dal Lago, Martin Hofmann
213
Voted
FCCM
2011
IEEE
251views VLSI» more  FCCM 2011»
14 years 10 months ago
A Scalable Multi-FPGA Platform for Complex Networking Applications
Abstract—Ballooning traffic volumes and increasing linkspeeds require ever high compute power to perform complex real-time processing of network packets. FPGAs have already been...
Sascha Mühlbach, Andreas Koch
202
Voted
ISBI
2006
IEEE
16 years 7 months ago
Automatic landmark detection in uterine cervix images for indexing in a content-retrieval system
This work is motivated by the need for visual information extraction and management in the growing field of content based image retrieval from medical archives. In particular it f...
Gali Zimmerman, Shiri Gordon, Hayit Greenspan
DALT
2006
Springer
15 years 10 months ago
A Dynamic Logic Programming Based System for Agents with Declarative Goals
Goals are used to define the behavior of (pro-active) agents. It is our view that the goals of an agent can be seen as a knowledge base of the situations that it wants to achieve. ...
Vivek Nigam, João Leite
AUTOMATICA
2004
112views more  AUTOMATICA 2004»
15 years 6 months ago
Fundamental properties of reset control systems
: Reset controllers are linear controllers that reset some of their states to zero when their input is zero. We are interested in their feedback connection with linear plants, and ...
Orhan Beker, C. V. Hollot, Yossi Chait, Huaizhong ...