2316 search results - page 15 / 464 » The many forms of hypercomputation |
124
Voted
FASE
2009
Springer
15 years 10 months ago
2009
Springer
Reuse of existing libraries simplifies software development efforts. However, these libraries are often complex and reusing the APIs in the libraries involves a steep learning cu...
164
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
In this paper, we present type systems for flow-sensitive pointer analysis, live stack-heap (variables) analysis, and program optimization. The type system for live stack-heap ana...
132
Voted
ICAI
2009
15 years 1 months ago
2009
Quantified Boolean formulas are a powerful representation that have been used to capture and solve a variety of problems in Artificial Intelligence. While most research has focused...
199
click to vote
SCHOLARPEDIA
2011
14 years 6 months ago
2011
: In 1613 d’Aguilon published a book on optics containing a novel color mixture diagram in arc form. Diagrams of similar form are found in many medieval manuscripts where they ha...
EMNLP
2010
15 years 1 months ago
2010
Polysemy is a major characteristic of natural languages. Like words, syntactic forms can have several meanings. Understanding the correct meaning of a syntactic form is of great i...