Sciweavers

3701 search results - page 160 / 741
» Anatomical Information Science
Sort
View
SIGCSE
1994
ACM
150views Education» more  SIGCSE 1994»
15 years 11 months ago
Using literate programming to teach good programming practices
The ability to comprehend a program written by other individuals is becoming increasingly important in software development and maintenance. In an attempt to encourage undergradua...
Stephen Shum, Curtis R. Cook
ENC
2008
IEEE
16 years 1 months ago
Possibilistic-Based Argumentation: An Answer Set Programming Approach
In many fields of automated information processing it becomes crucial to consider together imprecise, uncertain or inconsistent information. Argumentation theory is a suitable fr...
Juan Carlos Nieves, Ulises Cortés, Mauricio...
157
Voted
GI
2004
Springer
16 years 10 days ago
Consistent Context Management in Mobile Ad Hoc Networks
: John entered his office. John left his office. The order of these updates to a context-aware system is important to reflect the state in the real world. Context information ob...
Jörg Hähner, Christian Becker, Pedro Jos...
199
Voted
ERSHOV
1999
Springer
15 years 11 months ago
On Perfect Supercompilation
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...
Jens P. Secher, Morten Heine Sørensen
ERSHOV
2006
Springer
15 years 10 months ago
A Formal Model of Data Privacy
Information systems support data privacy by constraining user's access to public views and thereby hiding the non-public underlying data. The privacy problem is to prove that ...
Phiniki Stouppa, Thomas Studer