2379 search results - page 107 / 476 » Computer Science in the Information Age |
140
click to vote
RTA
2010
Springer
15 years 4 months ago
2010
Springer
We consider here a number of variations on the System F, that are predicative second-order systems whose terms are intermediate between the Curry style and Church style. The terms ...
134
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
: The Sensor Integration Package is a reusable subsystem, combining the complementary capabilities of radar, infra red and long range day light camera, laser, image processing soft...
166
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
: Durch den Einsatz von Informations- und Kommunikationstechnologie im Gesundheitsbereich (speziell im Segment Mobile Health Care) er
205
click to vote
ENC
2008
IEEE
16 years 28 days ago
2008
IEEE
In many fields of automated information processing it becomes crucial to consider together imprecise, uncertain or inconsistent information. Argumentation theory is a suitable fr...
180
click to vote
ERSHOV
1999
Springer
15 years 10 months ago
1999
Springer
We extend positive supercompilation to handle negative as well as positive information. This is done by instrumenting the underlying unfold rules with a small rewrite system that h...