693 search results - page 138 / 139 » Life Sciences |
ARTMED
2006
13 years 4 months ago
2006
Objective: Currently, visualization support for patient data analysis is mostly limited to the representation of directly measured data. Contextual information on performed treatm...
ENTCS
2006
13 years 4 months ago
2006
Separation logic [20,21,14] began life as an extended formalisation of Burstall's treatment of list-mutating programs [8]. It rapidly became clear that there was more that it...
ENTCS
2002
13 years 4 months ago
2002
In this paper we present a framework to program autonomous robots in the declarative multi-paradigm language Curry. This is an experiment to use high-level declarative programming...
TELE
1998
13 years 4 months ago
1998
Promotional cultures, to use Wernicks expression, have transformed communication, as the ideology of the market seeps into every facet of social life. Promotional texts, whether...
AVI
2010
13 years 2 months ago
2010
The procedures to collect information about users are well known in computer science till long time. They range from getting explicit information from users, required in order to ...