2646 search results - page 137 / 530 » Local Type Inference |
257
Voted
POPL
2009
ACM
16 years 5 months ago
2009
ACM
Mitchell's notion of representation independence is a particularly useful application of Reynolds' relational parametricity -- two different implementations of an abstra...
155
Voted
EUSFLAT
2009
15 years 2 months ago
2009
The need for an automatic inference process able to deal with information coming from unreliable sources is becoming a relevant issue both on corporate networks and on the open Web...
149
click to vote
BMEI
2008
IEEE
15 years 11 months ago
2008
IEEE
Multiple sequence alignment is the most fundamental task in bioinformatics and computational biology. In this paper, we present a new algorithm to conduct multiple sequences align...
119
click to vote
TARK
2005
Springer
15 years 10 months ago
2005
Springer
Fagin, Halpern, Moses, and Vardi have proposed a framework of epistemic agents with multiple “frames of mind” (local-reasoning structures), to solve problems concerning incons...
114
Voted
ISMVL
2007
IEEE
15 years 10 months ago
2007
IEEE
We give a uniform method for automated reasoning in several types of extensions of ordered algebraic structures (definitional extensions, extensions with boundedness axioms or wit...