1054 search results - page 45 / 211 » From a Verified Kernel towards Verified Systems |
109
click to vote
SIGIR
2009
ACM
15 years 8 months ago
2009
ACM
In this paper, we propose a graph-based approach to constructing a multilingual association dictionary from Wikipedia, in which we exploit two kinds of links in Wikipedia articles...
118
click to vote
SIP
2003
15 years 3 months ago
2003
We describe the establishment of a compound object model for object recognition purposes which provides the frame for the extraction of object structure from images degraded by no...
96
Voted
ENTCS
2007
15 years 1 months ago
2007
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...
CHARME
2003
Springer
15 years 5 months ago
2003
Springer
Industrial verification teams are actively developing suitable event sequence languages for hardware verification. Such languages must be expressive, designer friendly, and hardwar...
CN
2008
15 years 2 months ago
2008
In this paper, we propose a low-complexity auction framework to distribute spectrum in real-time among a large number of wireless users with dynamic traffic. Our design consists o...