2465 search results - page 249 / 493 » Automata on Linear Orderings |
100
click to vote
PARA
2004
Springer
15 years 6 months ago
2004
Springer
The performance of various Taylor model (TM)-based methods for the validated integration of ODEs is studied for some representative computational problems. For nonlinear problems, ...
134
click to vote
FSE
2003
Springer
15 years 6 months ago
2003
Springer
Hypothesis tests have been used in the past as a tool in a cryptanalytic context. In this paper, we propose to use this paradigm and define a precise and sound statistical framewo...
ESOP
2001
Springer
15 years 5 months ago
2001
Springer
Security-typed languages enforce confidentiality or integrity policies by type checking. This paper investigates continuation-passing style (CPS) translation of such languages as ...
84
Voted
ISPD
1999
ACM
15 years 5 months ago
1999
ACM
One subtask in constraint-driven placement is enforcing a set of orientation constraints on the devices being placed. Such constraints are created in order to, for example, implem...
ICRA
1998
IEEE
15 years 5 months ago
1998
IEEE
In sensory data fusion and integration consideration, sensor independence is a common assumption. In this paper, we demonstrated the impact of including dependent information in s...