Sciweavers

51 search results - page 7 / 11
» Forensic course development: one year later
Sort
View
TASE
2008
IEEE
14 years 9 months ago
Perspectives in Probabilistic Verification
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...
Joost-Pieter Katoen
71
Voted
ISBI
2008
IEEE
15 years 10 months ago
Supervised shape analysis for risk assessment in osteoporosis
Early diagnosis and treatment of patients at high risk of developing fragility fractures is crucial in the management of osteoporosis. In this paper we propose to estimate the ris...
Marleen de Bruijne, Paola Pettersen
61
Voted
ECIS
2004
14 years 11 months ago
From websites to portals: success factors for business community portals
Many Governments are using funding initiatives to encourage businesses, particularly small businesses to adopt e-commerce technology. One currently popular approach in Australia, ...
Julie Fisher, Annemieke Craig

Book
411views
16 years 7 months ago
Concrete Abstractions
"This book has evolved from materials used in an undergraduate course intended for final year undergraduate students whose background includes at least one year's experie...
Max Hailperin, Barbara Kaiser, and Karl Knight
70
Voted
CHI
2006
ACM
15 years 10 months ago
LifeSource: two CVS visualizations
We present LifeSource, two visualizations of CVS code repositories, one file-centric and one author-centric. CodeConnections, the file-centric visualization, pulls out the overall...
Eric Gilbert, Karrie Karahalios