279 search results - page 21 / 56 » Typability in Partial Applicative Structures |
120
click to vote
FORMATS
2010
Springer
14 years 9 months ago
2010
Springer
This paper considers the model of Time Petri Nets (TPNs) extended with time parameters and its use to perform on-line diagnosis of distributed systems. We propose to base the metho...
TGIS
2002
14 years 11 months ago
2002
Although space syntax has been successfully applied to many urban GIS studies, there is still a need to develop robust algorithms that support the automated derivation of graph re...
102
click to vote
SENSYS
2010
ACM
14 years 9 months ago
2010
ACM
Currently, there is no existing method for automatically tracking the location of burrowing animals when they are underground, consequently zoologists only have a partial view of ...
101
click to vote
VISUALIZATION
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper describes a set of techniques developed for the visualization of high-resolution volume data generated from industrial computed tomography for nondestructive testing (N...
101
click to vote
ICS
2001
Tsinghua U.
15 years 4 months ago
2001
Tsinghua U.
This paper presents a novel technique to perform global optimization of communication and preprocessing calls in the presence of array accesses with arbitrary subscripts. Our sche...