5810 search results - page 253 / 1162 » An Approach to Programming Based on Concepts |
164
click to vote
TPHOL
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract. Model checking and theorem proving are two complementary approaches to formal verification. In this paper we show how binary decision diagram (BDD) based symbolic model ...
157
click to vote
SETP
2007
15 years 8 months ago
2007
Scientific equations embedded in computer programs must obey the rules for dimensional consistency. Many efforts have been made to enforce these rules within computer programs. So...
318
click to vote
IWOMP
2011
Springer
14 years 9 months ago
2011
Springer
Many task-based programming models have been developed and refined in recent years to support application development for shared memory platforms. Asynchronous tasks are a powerfu...
168
click to vote
ISER
2004
Springer
15 years 12 months ago
2004
Springer
As robots enter the human environment and come in contact with inexperienced users, they need to be able to interact with users in a multi-modal fashion—keyboard and mouse are n...
168
click to vote
TRECVID
2008
15 years 8 months ago
2008
This paper presents our approaches and results of the four TRECVID 2008 tasks we participated in: high-level feature extraction, automatic video search, video copy detection, and ...