2995 search results - page 167 / 599 » On multi-avoidance of generalized patterns |
VLSID
2004
IEEE
14 years 9 months ago
2004
IEEE
Reduction of worst-case delay and delay uncertainty due to capacitive coupling is a still unsolved problem in physical design. We describe a routing only layout solution - swizzli...
CADE
2006
Springer
14 years 9 months ago
2006
Springer
Abstract. Based on inductive definitions, we develop an automated tool for defining partial recursive functions in Higher-Order Logic and providing appropriate reasoning tools for ...
EUROSYS
2007
ACM
14 years 6 months ago
2007
ACM
We describe a new design for authorization in operating systems in which applications are first-class entities. In this design, principals reflect application identities. Access c...
MCS
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We propose AdaBoost.BHC, a novel multi-class boosting algorithm. AdaBoost.BHC solves a C class problem by using C − 1 binary classifiers defined by a hierarchy that i...
MHCI
2009
Springer
14 years 3 months ago
2009
Springer
In this paper, we propose a method for detecting physical shock by a mobile phone and its applications in security and emergency scenarios. We use acceleration signal provided by ...