8099 search results - page 89 / 1620 » Higher-Order Task Models |
186
Voted
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper focuses on statistical interconnect timing analysis in a parameterized block-based statistical static timing analysis tool. In particular, a new framework for performin...
191
Voted
ICTAI
2006
IEEE
16 years 1 months ago
2006
IEEE
Bayesian networks (BNs) have been widely used as a model for knowledge representation and probabilistic inferences. However, the single probability representation of conditional d...
239
Voted
AFP
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. Programming GUIs with conventional GUI APIs is notoriously tedious. In these notes we present the GEC toolkit in which the programmer can create user interfaces without a...
200
Voted
IMR
2003
Springer
16 years 18 days ago
2003
Springer
The visualization of 3D vector and tensor fields in a 2D image is challenging because the large amount of information will either be mixed during projection to 2D or lead to seve...
216
Voted
TPHOL
2002
IEEE
16 years 10 days ago
2002
IEEE
g Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 ...