Sciweavers

7886 search results - page 351 / 1578
» An evaluation of bipartitioning techniques
Sort
View
AIEDU
2004
114views more  AIEDU 2004»
15 years 7 months ago
Collaborative Information Filtering: A Review and an Educational Application
This paper reviews the literature surrounding an information filtering technique, collaborative information filtering, which supports the discovery of resources in a way that is se...
Andrew Walker, Mimi Recker, Kimberly Lawless, Davi...
RC
1998
41views more  RC 1998»
15 years 7 months ago
Estimating Uncertainties for Geophysical Tomography
We present statistical and interval techniques for evaluating the uncertainties associated with geophysical tomographic inversion problems, including estimation of data errors, mo...
Diane I. Doser, Kevin D. Crain, Mark R. Baker, Vla...
TVLSI
2002
121views more  TVLSI 2002»
15 years 7 months ago
On-chip decoupling capacitor optimization using architectural level prediction
Switching activity-generated power-supply grid-noise presents a major obstacle to the reduction of supply voltage in future generation semiconductor technologies. A popular techniq...
Mondira Deb Pant, Pankaj Pant, D. Scott Wills
EMNLP
2010
15 years 5 months ago
Improving Gender Classification of Blog Authors
The problem of automatically classifying the gender of a blog author has important applications in many commercial domains. Existing systems mainly use features such as words, wor...
Arjun Mukherjee, Bing Liu
NFM
2011
264views Formal Methods» more  NFM 2011»
15 years 2 months ago
Applying Atomicity and Model Decomposition to a Space Craft System in Event-B
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
Asieh Salehi Fathabadi, Abdolbaghi Rezazadeh, Mich...