1116 search results - page 162 / 224 » Applying Predicate Abstraction to Abstract State Machines |
106
click to vote
KES
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. This work proposes a family of language-independent semantic kernel functions defined for individuals in an ontology. This allows exploiting wellfounded kernel methods fo...
68
Voted
ICC
2007
IEEE
15 years 5 months ago
2007
IEEE
Abstract— In this paper differential space–frequency modulation (DSFM) for transmission over multiple–input multiple– output channels using orthogonal frequency division mu...
72
Voted
COSIT
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. Spatializations are computer visualizations in which nonspatial information is depicted spatially. Spatializations of large databases commonly use distance as a metaphor ...
ICWE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Web-based access to services increasingly moves to locationoriented scenarios, with either the client being mobile and requesting relevant information for the current loc...
IPPS
1999
IEEE
15 years 3 months ago
1999
IEEE
This paper describes a United States Air Force Advanced Technology Demonstration (ATD) that applied value-based scheduling to produce an adaptive, distributed tracking component ap...