6258 search results - page 480 / 1252 » Applied Text Generation |
205
click to vote
TGC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present a tool developed for fostering probabilistic model checking of services formally specified in Scows, a stochastic enrichment of the Calculus for Orchestration ...
189
click to vote
EXACT
2009
15 years 4 months ago
2009
This paper provides a study of the theoretical properties of Most Relevant Explanation (MRE) [12]. The study shows that MRE defines an implicit soft relevance measure that enables ...
188
click to vote
DAC
2000
ACM
16 years 8 months ago
2000
ACM
The effect of crosstalk errors is most significant in highperformance circuits, mandating at-speed testing for crosstalk defects. This paper describes a self-test methodology that...
204
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a novel cycle-approximate performance estimation technique for automatically generated transaction level models (TLMs) for heterogeneous multicore designs. The...
174
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— This article addresses the problem of generating timed trajectories and temporally coordinated movements for two wheeled vehicles, when relatively low-level, noisy sensorial in...