Sciweavers

12084 search results - page 322 / 2417
» Effect Systems with Subtyping
Sort
View
191
Voted
CADE
2001
Springer
16 years 7 months ago
Automated Incremental Termination Proofs for Hierarchically Defined Term Rewriting Systems
We propose the notion of rewriting modules in order to provide a structural and hierarchical approach of TRS. We define then relative dependency pairs built upon these modules whic...
Xavier Urbain
237
Voted
SIBGRAPI
2008
IEEE
16 years 1 months ago
A Genetic Programming Approach for Relevance Feedback in Region-Based Image Retrieval Systems
This paper presents a new relevance feedback method for content-based image retrieval using local image features. This method adopts a genetic programming approach to learn user p...
Jefersson Alex dos Santos, Cristiano D. Ferreira, ...
INFOCOM
2006
IEEE
16 years 1 months ago
Relayed Multicast Scheme in IEEE 802.11 Wireless LAN Systems
— we propose a novel multicast scheme that can provide quality-of-service (QoS) to multicast service over IEEE 802.11 wireless LANs by utilizing MAC layer relay. We develop the d...
Kang Jin Yoon, Young Yong Kim
CAMP
2005
IEEE
16 years 1 months ago
Prey-Predator Strategies in a Multiagent System
— This paper describes the prey-predator multiagent hich can be considered as an abstraction of more complex real-world models. Both the prey and the predators are considered as ...
B. Lenzitti, Domenico Tegolo, Cesare Valenti
173
Voted
DFT
2005
IEEE
110views VLSI» more  DFT 2005»
16 years 1 months ago
A design flow for protecting FPGA-based systems against single event upsets
SRAM-based Field Programmable Gate Arrays (FPGAs) are very susceptible to Single Event Upsets (SEUs) that may have dramatic effects on the circuits they implement. In this paper w...
Luca Sterpone, Massimo Violante