861 search results - page 17 / 173 » A General Framework for Knowledge Compilation |
FPL
2007
Springer
14 years 2 months ago
2007
Springer
The aim of the hArtes project is to facilitate and automate the rapid design and development of heterogeneous embedded systems, targeting a combination of a general purpose embedd...
GLOBECOM
2009
IEEE
14 years 3 months ago
2009
IEEE
—Today most home networks are connected to the Internet via Network Address Translation (NAT) devices. NAT is an obstacle for services that should be accessible from the public I...
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
Enterprises need to understand the impact of different types of knowledge management (KM) approaches on business strategy, and how they interact with other types of initiatives to...
JAIR
2000
13 years 8 months ago
2000
The recent approaches of extending the GRAPHPLAN algorithm to handle more expressive planning formalisms raise the question of what the formal meaning of "expressive power&qu...
HOTOS
1999
IEEE
14 years 23 days ago
1999
IEEE
Several operating systems projects revolve around moving functionality above or below the kernel "red line" to increase flexibility or performance. We describe how a gen...