Sciweavers

1153 search results - page 173 / 231
» An Agent Model for a Human's Functional State and Performanc...
Sort
View
INFOSCALE
2007
ACM
13 years 9 months ago
BUST: enabling scalable service orchestration
Service-Orientation (SO) is a design and integration paradigm that is based on the notion of well defined, loosely coupled services. Within SO, services are viewed as computation...
Dong Liu, Ralph Deters
MICCAI
2006
Springer
14 years 8 months ago
Towards Optimization of Probe Placement for Radio-Frequency Ablation
We present a model for the optimal placement of mono- and bipolar probes in radio-frequency (RF) ablation. The model is based on a numerical computation of the probe's electri...
Inga Altrogge, Tim Kröger, Tobias Preusser, C...
CAV
2006
Springer
133views Hardware» more  CAV 2006»
13 years 11 months ago
Antichains: A New Algorithm for Checking Universality of Finite Automata
We propose and evaluate a new algorithm for checking the universality of nondeterministic finite automata. In contrast to the standard algorithm, which uses the subset construction...
Martin De Wulf, Laurent Doyen, Thomas A. Henzinger...
ICCV
2009
IEEE
1042views Computer Vision» more  ICCV 2009»
15 years 19 days ago
Activity Recognition using the velocity histories of tracked keypoints
We present an activity recognition feature inspired by human psychophysical performance. This feature is based on the velocity history of tracked keypoints. We present a generat...
Ross Messing, Chris Pal, Henry Kautz
BMCBI
2010
97views more  BMCBI 2010»
13 years 7 months ago
Kinome-wide interaction modelling using alignment-based and alignment-independent approaches for kinase description and linear a
Background: Protein kinases play crucial roles in cell growth, differentiation, and apoptosis. Abnormal function of protein kinases can lead to many serious diseases, such as canc...
Maris Lapinsh, Jarl E. S. Wikberg