1901 search results - page 266 / 381 » Predicting Program Properties from |
143
click to vote
CBSE
2008
Springer
15 years 4 months ago
2008
Springer
Current software component models insufficiently reflect the different stages of component life-cycle, which involves design, implementation, deployment, and runtime. Therefore, re...
179
click to vote
ASPDAC
2005
ACM
15 years 4 months ago
2005
ACM
This paper proposes a novel O(n) Parallel Banker’s Algorithm (PBA) with a best-case run-time of O(1), reduced from an ¢¤£¦¥¨§© run-time complexity of the original Ban...
113
Voted
DIAGRAMS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. This paper explores factors associated with effective external representation (ER) use. We describe an information-processing approach to the assessment of ER knowledge. ...
114
click to vote
COLING
2008
15 years 4 months ago
2008
We propose an approach to natural language inference based on a model of natural logic, which identifies valid inferences by their lexical and syntactic features, without full sem...
112
Voted
LREC
2008
15 years 4 months ago
2008
Speaker identification and verification systems have a poor performance when model training is done in one language while the testing is done in another. This situation is not unu...