Sciweavers

2233 search results - page 310 / 447
» Modular type classes
Sort
View
TLCA
2009
Springer
16 years 27 days ago
Algebraic Totality, towards Completeness
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...
Christine Tasson
ICC
2007
IEEE
16 years 21 days ago
An Efficient Sleep Mode Management Scheme in IEEE 802.16e Networks
– In IEEE 802.16e networks, the mobility of mobile stations (MSs) induces that energy saving becomes an important issue for the battery-powered MSs to extend their operational li...
Yin Ge, Geng-Sheng Kuo
ISBI
2007
IEEE
16 years 20 days ago
Probabilistic Segmentation of Brain Tumors Based on Multi-Modality Magnetic Resonance Images
In this paper, multi-modal Magnetic Resonance (MR) images are integrated into a tissue profile that aims at differentiating tumor components, edema and normal tissue. This is achi...
Hongmin Cai, Ragini Verma, Yangming Ou, Seung-koo ...
ATAL
2007
Springer
16 years 16 days ago
Winner determination for mixed multi-unit combinatorial auctions via petri nets
Mixed Multi-Unit Combinatorial Auctions (MMUCAs) allow agents to bid for bundles of goods to buy, goods to sell, and transformations of goods. In particular, MMUCAs offer a high ...
Andrea Giovannucci, Juan A. Rodríguez-Aguil...
AMFG
2005
IEEE
203views Biometrics» more  AMFG 2005»
16 years 1 hour ago
Facial Expression Analysis Using Nonlinear Decomposable Generative Models
We present a new framework to represent and analyze dynamic facial motions using a decomposable generative model. In this paper, we consider facial expressions which lie on a one d...
Chan-Su Lee, Ahmed M. Elgammal