2914 search results - page 448 / 583 » Learning and Inference with Constraints |
136
click to vote
GLOBECOM
2007
IEEE
16 years 9 days ago
2007
IEEE
Abstract— Policy based networks provide high levels of flexibility by allowing definition of packet handling rules within a network, resource allocation strategies, network man...
168
click to vote
ISCA
2007
IEEE
16 years 8 days ago
2007
IEEE
The recently released SPEC CPU2006 benchmark suite is expected to be used by computer designers and computer architecture researchers for pre-silicon early design analysis. Partia...
170
click to vote
TPHOL
2007
IEEE
16 years 7 days ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
146
click to vote
SAS
2007
Springer
16 years 2 days ago
2007
Springer
Introducing aspect orientation to a polymorphically typed functional language strengthens the importance of type-scoped advices; i.e., advices with their effects being harnessed b...
153
click to vote
ISVLSI
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper, we introduce a novel context sensitive system design paradigm. Multiple sensors/ computational architecture, in the form of our eWatch device, is used to infer the ...