10910 search results - page 386 / 2182 » Input modeling using a computer algebra system |
192
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
176
click to vote
TCAD
1998
15 years 6 months ago
1998
In this paper, we present a probabilistic simulation technique to estimate the power consumption of a cmos circuit under a general delay model. This technique is based on the noti...
186
click to vote
TAPSOFT
1995
Springer
15 years 10 months ago
1995
Springer
Starting from the process algebra for Concurrent ML we develop two program analyses that facilitate the intelligent placement of processes on processors. Both analyses are obtaine...
184
click to vote
ICAT
2007
IEEE
16 years 1 months ago
2007
IEEE
Even though gaze control is relatively well known as a human computer interaction method, gaze control is not a widely used technique, partly due to several usability issues. Howe...
165
click to vote
EDOC
2002
IEEE
15 years 11 months ago
2002
IEEE
The Object Management Group (OMG) is pursuing its new Model-Driven Architecture (MDA) strategy. The Meta-Object Facility (MOF) is an important technology to support the MDA, both ...