588 search results - page 31 / 118 » Modeling and Verifying Circuits Using Generalized Relative T... |
113
Voted
TAPSOFT
1997
Springer
15 years 6 months ago
1997
Springer
The goal of this paper is to analyse semantics of algorithms with explicit continuous time with further aim to nd approaches to automatize model checking in high level, easily unde...
91
Voted
IPPS
2000
IEEE
15 years 6 months ago
2000
IEEE
Abstract. Rent's rule and related concepts of connectivity such as dimensionality, line-length distributions, and separators have found great use in fundamental studies of di ...
106
Voted
MANSCI
2008
15 years 2 months ago
2008
Continuing research by Jennings, Mandelbaum, Massey and Whitt (1996), we investigate methods to perform time-dependent staffing for many-server queues. Our aim is to achieve time-...
99
Voted
ICML
2003
IEEE
16 years 3 months ago
2003
IEEE
Kernel methods have gained a great deal of popularity in the machine learning community as a method to learn indirectly in highdimensional feature spaces. Those interested in rela...
132
Voted
CASES
2006
ACM
15 years 8 months ago
2006
ACM
Rising interest in the applications of wireless sensor networks has spurred research in the development of computing systems for lowthroughput, energy-constrained applications. Un...