1536 search results - page 283 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
IWCMC
2010
ACM
13 years 9 months ago
2010
ACM
Despite a large body of literature and methods devoted to the Traffic Matrix (TM) estimation problem, the inference of traffic flows volume from aggregated data still represents a ...
INTERACT
2007
13 years 9 months ago
2007
This paper describes a novel browsing paradigm, taking benefit of the various types of links (e.g. thematic, temporal, references, etc.) that can be automatically built between mul...
APBC
2004
13 years 9 months ago
2004
With the continued growth of three dimensional structural information databases comes a corresponding increase in interest in this data for the study of new sequences and an ever-...
BPM
2009
Springer
13 years 8 months ago
2009
Springer
Alaska Simulator is an interactive software tool developed at the University of Innsbruck which allows people to explore different approaches to process flexibility by using a fami...
CIMAGING
2009
13 years 8 months ago
2009
Space-varying convolution often arises in the modeling or restoration of images captured by optical imaging systems. For example, in applications such as microscopy or photography...