Sciweavers

4326 search results - page 685 / 866
» A Model for Process Service Interaction
Sort
View
111
Voted
TITB
2008
109views more  TITB 2008»
15 years 3 months ago
Automatic Segmentation of High-Throughput RNAi Fluorescent Cellular Images
High throughput genome-wide RNAi screening is emerging as an essential tool to assist biologists in understanding complex cellular processes. The large number of images produced in...
Pingkun Yan, Xiaobo Zhou, Mubarak Shah, Stephen T....
132
Voted
BELL
2000
107views more  BELL 2000»
15 years 3 months ago
Automating software feature verification
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
Gerard J. Holzmann, Margaret H. Smith
130
Voted
CHI
2008
ACM
16 years 4 months ago
Activity sensing in the wild: a field trial of ubifit garden
Recent advances in small inexpensive sensors, low-power processing, and activity modeling have enabled applications that use on-body sensing and machine learning to infer people&#...
Sunny Consolvo, David W. McDonald, Tammy Toscos, M...
CHI
2005
ACM
16 years 3 months ago
Blind learners programming through audio
The development of programming skills is a motivating issue in computer science. Programming languages have been increasingly used to map end-users needs and mental models. The nu...
Jaime Sánchez, Fernando Aguayo
115
Voted
APPT
2005
Springer
15 years 9 months ago
Autonomous-Centered Problem Allocation Oriented to Cooperation
By reasonably allocating a cooperative problem which need multiple solvers cope with together, the problem could be performed more effectively and efficiently. A problem could be d...
Xiping Liu, Wan-Chun Dou, Guihai Chen, Shijie Cai,...