9370 search results - page 173 / 1874 » An Abstract Notion of Application |
180
click to vote
HICSS
2007
IEEE
16 years 26 days ago
2007
IEEE
Recently, Continua Health Alliance has brought together a powerhouse team, including Cisco, IBM, Motorola and others, for personal telehealth products and services. This team will...
166
click to vote
ASIACRYPT
2007
Springer
16 years 22 days ago
2007
Springer
An extended abstract of this paper appears in Kaoru Kurosawa (Ed.): Advances in Cryptology ASIACRYPT 2007, volume 4833 of Lecture Notes in Computer Science, pages 265–282, Spring...
192
click to vote
PPDP
2007
Springer
16 years 20 days ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
183
click to vote
ICAC
2006
IEEE
16 years 18 days ago
2006
IEEE
Abstract— The scale, reliability, and cost requirements of enterprise data centers require automation of center management. Examples include provisioning, scheduling, capacity pl...
206
click to vote
AMIRE
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We introduce mathematically rigorous metrics on agent experiences having various temporal horizons. Sensorimotor variables accessible to the agent are treated as informat...