Sciweavers

247 search results - page 21 / 50
» Development graphs - Proof management for structured specifi...
Sort
View
IJCBDD
2010
127views more  IJCBDD 2010»
14 years 10 months ago
Predicting protein complexes by data integration of different types of interactions
: The explosion of highthroughput interaction data from proteomics studies gives us the opportunity to integrate Protein-Protein Interactions (PPI) from different type of interacti...
Powell Patrick Cheng Tan, Daryanaz Dargahi, Freder...
HICSS
2003
IEEE
124views Biometrics» more  HICSS 2003»
15 years 5 months ago
Knowledge Map Creation and Maintenance for Virtual Communities of Practice
This paper proposes a knowledge map management system to facilitate knowledge management in virtual communities of practice. To realize the proposed knowledge map management, we d...
Fu-ren Lin, Chih-ming Hsueh
BPM
2005
Springer
228views Business» more  BPM 2005»
15 years 5 months ago
Risk Management in the BPM Lifecycle
Business Process Management is considered an essential strategy to create and maintain competitive advantage by streamlining and monitoring corporate processes. While the identific...
Michael zur Muehlen, Danny Ting-Yi Ho
DEBU
2010
180views more  DEBU 2010»
14 years 11 months ago
Searching RDF Graphs with SPARQL and Keywords
The proliferation of knowledge-sharing communities like Wikipedia and the advances in automated information extraction from Web pages enable the construction of large knowledge ba...
Shady Elbassuoni, Maya Ramanath, Ralf Schenkel, Ge...
UIST
2004
ACM
15 years 5 months ago
A toolkit for managing user attention in peripheral displays
Traditionally, computer interfaces have been confined to conventional displays and focused activities. However, as displays become embedded throughout our environment and daily li...
Tara Matthews, Anind K. Dey, Jennifer Mankoff, Sco...