6202 search results - page 356 / 1241 » Without Loss of Generality |
185
click to vote
ISCAS
2003
IEEE
16 years 4 days ago
2003
IEEE
We present an equation-based transistor size optimizer that minimizes delay of custom circuits. Our method uses static timing analysis to find the critical paths and numerical met...
171
Voted
FCT
2003
Springer
16 years 2 days ago
2003
Springer
This paper presents a method for the decomposition of HML formulae. It can be used to decide whether a process algebra term satisfies a HML formula, by checking whether subterms s...
193
Voted
ICPR
2002
IEEE
15 years 11 months ago
2002
IEEE
Analysis of human activity from a video camera is simplified by the knowledge of the camera’s intrinsic and extrinsic parameters. We describe a technique to estimate such param...
158
click to vote
ISORC
2002
IEEE
15 years 11 months ago
2002
IEEE
The Real-Time Specification for Java provides a facility for Asynchronous Transfer of Control based on exception handling and a generalization of the interrupt() method from the T...
194
click to vote
LPNMR
2009
Springer
15 years 11 months ago
2009
Springer
Several proposals of the semantics of aggregates are based on different extensions of the stable model semantics, which makes it difficult to compare them. In this note, building ...