2455 search results - page 214 / 491 » Graphical abstract help |
152
click to vote
ICLP
1999
Springer
15 years 8 months ago
1999
Springer
A declarative programming language has two kinds of semantics. The tract helps in reasoning about speci cations and correctness, while an operational semantics determines the mann...
175
click to vote
ICCHP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Demographic change in regard to an aging population with an increasing amount of diabetes patients will put a strain on health care rentability in all modern societies. E...
127
click to vote
ICCHP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Web accessibility and usability problems can make evaluation difficult for non-experts who may be unfamiliar with assistive technology. Developers often (i) lack easy acc...
145
click to vote
DCOSS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Reprogramming the sensor networks in place is an important and challenging problem. One way suggested for reprogramming is with the help of an UAV (Unmanned Ariel Vehicle...
140
click to vote
ERCIMDL
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In Nautical Archaeology, the study of components and objects creates a complex environment for scholars and researchers. Nautical archaeologists access, manipulate, study...