Sciweavers

2335 search results - page 254 / 467
» Type Checking Type Classes
Sort
View
ICC
2007
IEEE
15 years 7 months 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
101
Voted
ISBI
2007
IEEE
15 years 7 months 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 ...
93
Voted
ATAL
2007
Springer
15 years 6 months 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...
FROCOS
2007
Springer
15 years 6 months ago
Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...
Viorica Sofronie-Stokkermans
AMFG
2005
IEEE
203views Biometrics» more  AMFG 2005»
15 years 6 months 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