Sciweavers

1953 search results - page 212 / 391
» Embedded Probabilistic Programming
Sort
View
122
Voted
MPC
2004
Springer
155views Mathematics» more  MPC 2004»
15 years 7 months ago
Inferring Type Isomorphisms Generically
Abstract. Datatypes which differ inessentially in their names and structure are said to be isomorphic; for example, a ternary product is isomorphic to a nested pair of binary prod...
Frank Atanassow, Johan Jeuring
107
Voted
ICDAR
2003
IEEE
15 years 7 months ago
A Prototype of an Active Form System
This paper describes prototyping of a form processing system employing dot texture for printing input frames of the form. The dot texture is the texture composed of small dots. It...
Taro Shimamura, Bilan Zhu, Atsushi Masuda, Motoki ...
WORDS
2003
IEEE
15 years 7 months ago
Event-Driven Support of Real-Time Sentient Objects
The emergence of applications operating independently of direct human control is inevitable. Research on high-level models for this class of applications— e.g. on autonomous age...
Paulo Veríssimo, Antonio Casimiro
ECRTS
2000
IEEE
15 years 7 months ago
Running-modes of real-time systems: a case-study with mode-automata
Real-time Systems, in particular regulation systems, are often specified using the notion of running modes. On the other hand, the family of synchronous languages [1] has been ve...
Florence Maraninchi, Yann Rémond
111
Voted
ICCAD
1995
IEEE
140views Hardware» more  ICCAD 1995»
15 years 6 months ago
Bounded-skew clock and Steiner routing under Elmore delay
: We study the minimum-cost bounded-skew routing tree problem under the Elmore delay model. We presenttwo approachesto construct bounded-skew routing trees: (i) the Boundary Mergin...
Jason Cong, Andrew B. Kahng, Cheng-Kok Koh, Chung-...