344 search results - page 23 / 69 » The Well Mannered Wearable Computer |
CMSB
2006
Springer
13 years 11 months ago
2006
Springer
Genetic regulatory networks have been modeled as discrete transition systems by many approaches, benefiting from a large number of formal verification algorithms available for the ...
ACSC
2000
IEEE
13 years 11 months ago
2000
IEEE
A methodology is proposed for the formal development of software systems from a user's requirements specification in natural language into a complete implementation, proceedi...
ICPR
2010
IEEE
13 years 5 months ago
2010
IEEE
Decomposition of cells in clumps is a difficult segmentation task requiring region splitting techniques. Techniques that do not employ prior shape constraints usually fail to achi...
ICDCS
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper addresses the problem of selection and discovery of a consistent availability monitoring overlay for computer hosts in a large-scale distributed application, where host...
ICIP
2005
IEEE
14 years 9 months ago
2005
IEEE
We study the use of kernel subspace methods that learn low-dimensional subspace representations for classification tasks. In particular, we propose a new method called kernel weigh...