6527 search results - page 169 / 1306 » On Typing Information Flow |
SCAM
2008
IEEE
14 years 3 months ago
2008
IEEE
Polymorphism and class hierarchies are key to increasing the extensibility of an object-oriented program but also raise challenges for program comprehension. Despite many advances...
SCALESPACE
2005
Springer
14 years 2 months ago
2005
Springer
Exploration of information content of features that are present in images has led to the development of several reconstruction algorithms. These algorithms aim for a reconstruction...
TREC
2007
13 years 10 months ago
2007
A Question Answering (QA) system aims to return exact answers to natural language questions. While today information retrieval techniques are quite successful at locating within l...
IANDC
2006
13 years 9 months ago
2006
We study several algebras of graphs and hypergraphs and the corresponding notions of equational sets and recognizable sets. We generalize and unify several existing results which ...
CMSB
2006
Springer
14 years 27 days ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...