2714 search results - page 428 / 543 » Model comparison with GenericDiff |
ICARCV
2002
IEEE
15 years 5 months ago
2002
IEEE
Close control of blood glucose levels significantly reduces vascular complications in Type I diabetes. A control method focusing on the rate of change of blood glucose level is de...
107
click to vote
IPPS
2002
IEEE
15 years 5 months ago
2002
IEEE
: A novel broadcast technique for wormhole-routed mesh and torus parallel computers based on recursion is presented in this paper. It works by partitioning the graph into several s...
125
Voted
TPHOL
2002
IEEE
15 years 5 months ago
2002
IEEE
g Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 ...
92
Voted
KR
2010
Springer
15 years 5 months ago
2010
Springer
Levesque introduced the notion of only-knowing to precisely capture the beliefs of a knowledge base. He also showed how only-knowing can be used to formalize non-monotonic behavio...
119
click to vote
GLVLSI
2010
IEEE
15 years 5 months ago
2010
IEEE
Graphene nanoribbon tunneling FETs (GNR TFETs) are promising devices for post-CMOS low-power applications because of the low subthreshold swing, high Ion/Ioff, and potential for l...