5200 search results - page 942 / 1040 » Symbolic models for control systems |
IAT
2010
IEEE
13 years 7 months ago
2010
IEEE
Although static ranked lists remain the dominant Web search interface, they can limit the ability of Web searchers to find desired information when it is buried deep in the collect...
DSL
2009
13 years 6 months ago
2009
Abstract. We present the Operator Language (OL), a framework to automatically generate fast numerical kernels. OL provides the structure to extend the program generation system Spi...
CVPR
2011
IEEE
13 years 5 months ago
2011
IEEE
Active learning and crowdsourcing are promising ways to efficiently build up training sets for object recognition, but thus far techniques are tested in artificially controlled ...
TMC
2011
13 years 3 months ago
2011
—Vehicular networks (VANETs) can be used to improve transportation security, reliability, and management. This paper investigates security aspects of VANETs within a game-theoret...
SIGMETRICS
2005
ACM
14 years 2 months ago
2005
ACM
I/O consolidation is a growing trend in production environments due to the increasing complexity in tuning and managing storage systems. A consequence of this trend is the need to...