3745 search results - page 15 / 749 » Sonic: System Description |
MUC
1991
15 years 3 months ago
1991
CBMS
2009
IEEE
15 years 6 months ago
2009
IEEE
Automated medical diagnosis systems based on knowledge-oriented descriptions have gained momentum with the emergence of Semantic Descriptions. However, soundness and efficiency of...
ACL
1998
15 years 1 months ago
1998
: The goal of this paper is to provide computable account for some definite descriptions. To this end, we define in terms of inclusion the notion of distinguishing description and ...
CHI
2003
ACM
16 years 2 days ago
2003
ACM
Mobile and wearable computers present input/output problems due to limited screen space and interaction techniques. When mobile, users typically focus their visual attention on na...
101
click to vote
ISQED
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract— With the increasing in silicon densities, SoC designs are the stream in modern electronics systems. Accordingly, the verification for SoC designs is crucial. One of th...