26151 search results - page 27 / 5231 » Parameterized system design |
155
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
In this paper we study a class of dynamical systems defined by Pfaffian maps. It is a sub-class of o-minimal dynamical systems which capture rich continuous dynamics and yet can be...
153
click to vote
FPL
2001
Springer
15 years 10 months ago
2001
Springer
This paper presents parameterized module-generators for pipelined function evaluation using lookup tables, adders, shifters and multipliers. We discuss trade-offs involved between...
188
Voted
ACID
2006
15 years 7 months ago
2006
Matroid theory gives us powerful techniques for understanding combinatorial optimization problems and for designing polynomial-time algorithms. However, several natural matroid pr...
162
click to vote
FASE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Organizations use Role-Based Access Control (RBAC) to protect computer-based resources from unauthorized access. There has been considerable work on formally specifying R...
119
click to vote
MICCAI
2005
Springer
16 years 6 months ago
2005
Springer
Abstract. We present here a method that aims at defining a surfacebased coordinate system on the cortical surface. Such a system is needed for both cortical localization and inters...