279 search results - page 21 / 56 » Typability in Partial Applicative Structures |
FORMATS
2010
Springer
13 years 5 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
13 years 7 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...
SENSYS
2010
ACM
13 years 5 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 ...
VISUALIZATION
2003
IEEE
14 years 24 days 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...
ICS
2001
Tsinghua U.
13 years 12 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...