Sciweavers

6153 search results - page 415 / 1231
» Modeling Cyclic Change
Sort
View
MICCAI
2005
Springer
16 years 7 months ago
Corpus Callosum Subdivision Based on a Probabilistic Model of Inter-hemispheric Connectivity
Statistical shape analysis has become of increasing interest to the neuroimaging community due to its potential to locate morphological changes. In this paper, we present the a nov...
Martin Andreas Styner, Ipek Oguz, Rachel Gimpel Sm...
ESORICS
2009
Springer
16 years 7 months ago
Model-Checking DoS Amplification for VoIP Session Initiation
Current techniques for the formal modeling analysis of DoS attacks do not adequately deal with amplification attacks that may target a complex distributed system as a whole rather ...
Carl A. Gunter, José Meseguer, Musab AlTurk...
CHI
2007
ACM
16 years 7 months ago
Dynamic detection of novice vs. skilled use without a task model
If applications were able to detect a user's expertise, then software could automatically adapt to better match expertise. Detecting expertise is difficult because a user...
Amy Hurst, Scott E. Hudson, Jennifer Mankoff
CHI
2005
ACM
16 years 7 months ago
Community source development: an emerging model with new opportunities
This paper focuses on an emerging model for software development in higher education: community source. Community source seeks to blend aspects of both open source and traditional...
Dawn Ressel Nidy, Fong Kwok
SIGMOD
2005
ACM
212views Database» more  SIGMOD 2005»
16 years 7 months ago
A Cost-Based Model and Effective Heuristic for Repairing Constraints by Value Modification
Data integrated from multiple sources may contain inconsistencies that violate integrity constraints. The constraint repair problem attempts to find "low cost" changes t...
Philip Bohannon, Michael Flaster, Wenfei Fan, Raje...