1511 search results - page 69 / 303 » Relational Parametricity for Computational Effects |
136
click to vote
DGCI
2005
Springer
15 years 10 months ago
2005
Springer
Topological invariants are extremely useful in many applications related to digital imaging and geometric modeling, and homology is a classical one, which has not yet been fully e...
120
click to vote
SIGCSE
1998
ACM
15 years 8 months ago
1998
ACM
On-line programming tests and examinations were administered to approximately 120 first year computer science students in order to evaluate their practical skills. We describe ou...
144
click to vote
NC
2008
15 years 4 months ago
2008
Visual perception is typically performed in the context of a task or goal. Nonetheless, visual processing has traditionally been conceptualized in terms of a fixed, task-independe...
114
click to vote
ICSE
2003
IEEE-ACM
16 years 4 months ago
2003
IEEE-ACM
We show how the state space exploration tool VeriSoft can be used to analyze parallel C/C++ programs compositionally. VeriSoft is used to check assume/guarantee specifications of ...
152
click to vote
CIKM
2009
Springer
15 years 9 months ago
2009
Springer
The ability to deal with uncertain information is becoming increasingly important for modern database applications. Whereas a conventional (certain) object is usually represented ...