Sciweavers

1626 search results - page 119 / 326
» Subtyping with Power Types
Sort
View
VTC
2007
IEEE
15 years 10 months ago
Performance Modelling and Analysis of the Sleep-Mode in IEEE802.16e WMAN
In this study, we analyze the sleep-mode operation for power management of a mobile station in the IEEE802.16e Wireless Metropolitan Access Network. For the analysis we use the M/...
Yunju Park, Gang Uk Hwang
CHES
2004
Springer
216views Cryptology» more  CHES 2004»
15 years 8 months ago
Efficient Countermeasures against RPA, DPA, and SPA
In the execution on a smart card, side channel attacks such as simple power analysis (SPA) and the differential power analysis (DPA) have become serious threat [15]. Side channel a...
Hideyo Mamiya, Atsuko Miyaji, Hiroaki Morimoto
ICFP
2010
ACM
15 years 5 months ago
The impact of higher-order state and control effects on local relational reasoning
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
Derek Dreyer, Georg Neis, Lars Birkedal
131
Voted
ICPR
2002
IEEE
16 years 5 months ago
Learning Bayesian Network Classifiers for Credit Scoring Using Markov Chain Monte Carlo Search
In this paper, we will evaluate the power and usefulness of Bayesian network classifiers for credit scoring. Various types of Bayesian network classifiers will be evaluated and co...
Bart Baesens, Michael Egmont-Petersen, Robert Cast...
ICDM
2008
IEEE
117views Data Mining» more  ICDM 2008»
15 years 10 months ago
Semantic Full-Text Search with ESTER: Scalable, Easy, Fast
We present a demo of ESTER, a search engine that combines the ease of use, speed and scalability of full-text search with the powerful semantic capabilities of ontologies. ESTER s...
Holger Bast, Fabian M. Suchanek, Ingmar Weber