4460 search results - page 798 / 892 » Formal methods for interactive systems |
BIOCOMP
2008
13 years 10 months ago
2008
Background: Inferring a gene regulatory network (GRN) from high throughput biological data is often an under-determined problem and is a challenging task due to the following reas...
HEURISTICS
2010
13 years 3 months ago
2010
Operation management of underground passenger transport systems is associated with combinatorial optimization problems (known as crew and train scheduling and rostering) which bel...
CVPR
2007
IEEE
14 years 11 months ago
2007
IEEE
Facial activities are the most natural and powerful means of human communication. Spontaneous facial activity is characterized by rigid head movements, non-rigid facial muscular m...
CHI
2008
ACM
14 years 9 months ago
2008
ACM
Multi-monitor displays and multi-display environments are now common. Cross-display cursor movement, in which a user moves the pointer from one display to another, occurs frequent...
CHI
2007
ACM
14 years 9 months ago
2007
ACM
We study small distributed work groups capturing, managing, and reusing knowledge in a collaborative activity. We conceive this process as adaptation of a group to an activity and...