1054 search results - page 182 / 211 » Using Component Abstraction for Automatic Generation of Macr... |
92
Voted
CAV
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
94
Voted
IROS
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract— Road network information (RNI) simplifies autonomous driving by providing strong priors about driving environments. Its usefulness has been demonstrated in the DARPA U...
101
click to vote
ESORICS
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Online advertising has been suffering serious click fraud problem. Fraudulent publishers can generate false clicks using malicious scripts embedded in their web pages. Ev...
108
click to vote
EKAW
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Dealing with heterogeneous ontologies by means of semantic mappings has become an important area of research and a number of systems for discovering mappings between onto...
104
click to vote
TASE
2010
IEEE
14 years 4 months ago
2010
IEEE
Abstract--With the availability of powerful computational and communication systems, scientists now readily access large, complicated derived datasets and build on those results to...