Sciweavers

1295 search results - page 38 / 259
» Palimpsests of Time and Place
Sort
View
EPK
2006
114views Management» more  EPK 2006»
15 years 1 months ago
Verifying Properties of (Timed) Event Driven Process Chains by Transformation to Hybrid Automata
Abstract: Event-driven Process Chains (EPCs) are a commonly used modelling technique for design and documentation of business processes. Although EPCs have an easy-to-understand no...
Stefan Denne
CHI
2005
ACM
16 years 7 days ago
Time quilt: scaling up zoomable photo browsers for large, unstructured photo collections
In the absence of manual organization of large digital photo collections, the photos' visual content and creation dates can help support time-based visual search tasks. Curre...
David Huynh, Steven M. Drucker, Patrick Baudisch, ...
ICCAD
2006
IEEE
141views Hardware» more  ICCAD 2006»
15 years 8 months ago
An accurate sparse matrix based framework for statistical static timing analysis
Statistical Static Timing Analysis has received wide attention recently and emerged as a viable technique for manufacturability analysis. To be useful, however, it is important th...
Anand Ramalingam, Gi-Joon Nam, Ashish Kumar Singh,...
AIME
2001
Springer
15 years 4 months ago
NasoNet, Joining Bayesian Networks and Time to Model Nasopharyngeal Cancer Spread
Abstract. Cancer spread is a non-deterministic dynamic process. As a consequence, the design of an assistant system for the diagnosis and prognosis of the extent of a cancer should...
Severino F. Galán, Francisco Aguado, Franci...
PEPM
1997
ACM
15 years 4 months ago
Annotation-Directed Run-Time Specialization in C
We present the design of a dynamic compilation system for C. Directed by a few declarative user annotations specifying where and on what dynamic compilation is to take place, a bi...
Brian Grant, Markus Mock, Matthai Philipose, Craig...