2226 search results - page 437 / 446 » Pdk: The System and Its Language |
VLSID
2007
IEEE
16 years 1 days ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. Traditionally, the different components (or validation collaterals) used i...
100
click to vote
ICSE
2005
IEEE-ACM
15 years 11 months ago
2005
IEEE-ACM
With the advances of robotics, computer science, and other related areas, home service robots attract much attention from both academia and industry. Home service robots consists ...
CHI
2010
ACM
15 years 6 months ago
2010
ACM
In many developing countries such as India and China, low educational levels often hinder economic empowerment. In this paper, we argue that mobile learning games can play an impo...
SAC
2010
ACM
15 years 6 months ago
2010
ACM
In GIS and spatial databases, cardinal directions are frequently used as selection and join criteria in query languages. However, most cardinal direction models are only able to h...
109
click to vote
SEMCO
2009
IEEE
15 years 6 months ago
2009
IEEE
—This is a paper about a new resource, namely an English paraphrase dictionary extracted from the FrameNet lexicon and its example data base. I. THE LEXPAR PARAPHRASE DICTIONARY ...