Sciweavers

660 search results - page 56 / 132
» Green surveillance applications
Sort
View
IROS
2008
IEEE
185views Robotics» more  IROS 2008»
16 years 16 days ago
A clickable world: Behavior selection through pointing and context for mobile manipulation
— We present a new behavior selection system for human-robot interaction that maps virtual buttons overlaid on the physical environment to the robot’s behaviors, thereby creati...
Hai Nguyen, Advait Jain, Cressel D. Anderson, Char...
BIBM
2007
IEEE
162views Bioinformatics» more  BIBM 2007»
16 years 14 days ago
Multiple Interacting Subcellular Structure Tracking by Sequential Monte Carlo Method
With the wide application of green fluorescent protein (GFP) in the study of live cells, there is a surging need for the computer-aided analysis on the huge amount of image seque...
Quan Wen, Jean Gao, Kate Luby-Phelps
KBSE
1998
IEEE
15 years 10 months ago
Planning Equational Verification in CCS
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...
Raul Monroy, Alan Bundy, Ian Green
CLADE
2004
IEEE
15 years 10 months ago
A Collaborative Informatics Infrastructure for Multi-scale Science
The Collaboratory for Multi-scale Chemical Science (CMCS) is developing a powerful informaticsbased approach to synthesizing multi-scale information to support a systems-based res...
James D. Myers, Thomas C. Allison, Sandra Bittner,...
GECCO
2006
Springer
135views Optimization» more  GECCO 2006»
15 years 9 months ago
A tree-based genetic algorithm for building rectilinear Steiner arborescences
A rectilinear Steiner arborescence (RSA) is a tree, whose nodes include a prescribed set of points, termed the vertices, in the first quadrant of the Cartesian plane, and whose tr...
William A. Greene