2905 search results - page 505 / 581 » Formal Memetic Algorithms |
DASFAA
2011
IEEE
13 years 13 days ago
2011
IEEE
Spatio-temporal uncertainty is a special feature of moving objects due to the inability of precisely capturing or predicting their continuously changing locations. Indeterminate lo...
FASE
2011
Springer
13 years 12 days ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
JAISE
2011
12 years 11 months ago
2011
An awareness system was designed to provide peace of mind and a sense of connectedness to adults who care for an elderly parent living alone. The iterative design of the Aurama awa...
JAMIA
2011
12 years 11 months ago
2011
Objective To design, build, implement, and evaluate a personal health record (PHR), tethered to the Military Health System, that leverages MicrosoftÒ HealthVault and GoogleÒ Hea...
PODS
2011
ACM
12 years 11 months ago
2011
ACM
Complex Event Processing (CEP) Systems are stream processing systems that monitor incoming event streams in search of userspecified event patterns. While CEP systems have been ad...