533 search results - page 47 / 107 » Protocol synthesis from timed and structured specifications |
122
click to vote
VISUALIZATION
2003
IEEE
15 years 6 months ago
2003
IEEE
The extraction of planar sections from volume images is the most commonly used technique for inspecting and visualizing anatomic structures. We propose to generalize the concept o...
108
click to vote
BMCBI
2008
15 years 1 months ago
2008
Background: This paper describes the design of an event ontology being developed for application in the machine understanding of infectious disease-related events reported in natu...
134
click to vote
ICDM
2010
IEEE
14 years 11 months ago
2010
IEEE
There is an increasingly pressing need, by several applications in diverse domains, for developing techniques able to index and mine very large collections of time series. Examples...
ICDCSW
2003
IEEE
15 years 6 months ago
2003
IEEE
— The rendering mechanism used in Web browsers have a significant impact on the user behavior and delay tolerance of retrieval. The head-of-line blocking phenomena prevents the ...
107
click to vote
DAC
2009
ACM
16 years 2 months ago
2009
ACM
Traditionally, synchronous languages, such as Esterel, have been compiled into hardware, where timing analysis is relatively easy. When compiled into software ? e.g., into sequent...