Sciweavers

2555 search results - page 50 / 511
» Putting complex systems to work
Sort
View
KDD
2009
ACM
167views Data Mining» more  KDD 2009»
16 years 1 months ago
SNARE: a link analytic system for graph labeling and risk detection
Classifying nodes in networks is a task with a wide range of applications. It can be particularly useful in anomaly and fraud detection. Many resources are invested in the task of...
Mary McGlohon, Stephen Bay, Markus G. Anderle, Dav...
94
Voted
HICSS
2003
IEEE
114views Biometrics» more  HICSS 2003»
15 years 6 months ago
Information in Health Care Process - Evaluation Toolkit Development
Increasing health care costs put a great strain on national economies. In recent years there have been several national and regional research and development projects in Finland a...
Heidi Häkkinen, Pekka Turunen, Ton A. M. Spil
FM
2009
Springer
138views Formal Methods» more  FM 2009»
15 years 7 months ago
What Can Formal Methods Bring to Systems Biology?
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
Nicola Bonzanni, K. Anton Feenstra, Wan Fokkink, E...
128
Voted
FM
1997
Springer
258views Formal Methods» more  FM 1997»
15 years 4 months ago
Consistent Graphical Specification of Distributed Systems
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
Franz Huber, Bernhard Schätz, Geralf Einert
91
Voted
CHI
2009
ACM
16 years 1 months ago
From interaction to trajectories: designing coherent journeys through user experiences
The idea of interactional trajectories through interfaces has emerged as a sensitizing concept from recent studies of tangible interfaces and interaction in museums and galleries....
Steve Benford, Gabriella Giannachi, Boriana Koleva...