1411 search results - page 202 / 283 » A Value Analysis for C Programs |
126
Voted
SIAMJO
2002
15 years 4 months ago
2002
The paper deals with the calmness of a class of multifunctions in finite dimensions. Its first part is devoted to various conditions for calmness, which are derived in terms of cod...
135
Voted
WSC
1998
15 years 6 months ago
1998
This paper explores the use of discrete-event simulation for the design and control of physical protection systems for fixed-site facilities housing items of significant value. It...
165
click to vote
BMCBI
2011
15 years 1 days ago
2011
Background: Receiver operating characteristic (ROC) curves are useful tools to evaluate classifiers in biomedical and bioinformatics applications. However, conclusions are often r...
137
click to vote
SIGCSE
2009
ACM
16 years 5 months ago
2009
ACM
In the quest to find instructional approaches that benefit student learning, engagement, and retention, evidence suggests providing students with hands-on practice is a worthwhile...
135
click to vote
WWW
2010
ACM
16 years 20 hour ago
2010
ACM
We present a tool for helping XML schema designers to obtain a high quality level for their specifications. The tool allows one to analyze relations between classes of XML docume...