1242 search results - page 144 / 249 » Towards Context-Sensitive Intelligence |
173
click to vote
TWC
2010
15 years 24 days ago
2010
This work evaluates opportunistic relaying in the presence of thermal noise as well as interference, when channel sensing is conducted reactively, in slow fading environments. The ...
184
click to vote
TPHOL
2008
IEEE
16 years 14 days ago
2008
IEEE
We describe a tutorial that demonstrates the use of the ACL2 theorem prover. We have three goals: to enable a motivated reader to start on a path towards effective use of ACL2; to...
125
click to vote
CIMCA
2006
IEEE
16 years 5 days ago
2006
IEEE
This paper describes an innovative work for nanorobot design and manufacturing, using a computer simulation and system on chip prototyping approach. The use of CMOS as integrated ...
138
Voted
AINA
2005
IEEE
15 years 11 months ago
2005
IEEE
SCORM's environment and its complex metadata make distributed LMSs difficult to communicate with each other, therefore hindering the content management and sharing. In order ...
175
Voted
TPHOL
2005
IEEE
15 years 11 months ago
2005
IEEE
We have definitionally extended Isabelle/HOLCF to support axiomatic Haskell-style constructor classes. We have subsequently defined the functor and monad classes, together with t...