1003 search results - page 121 / 201 » Type Inference with Inequalities |
157
Voted
ESWS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Wikipedia, a collaborative Wiki-based encyclopedia, has become a huge phenomenon among Internet users. It covers huge number of concepts of various fields such as Arts, G...
170
Voted
SEBD
2003
15 years 5 months ago
2003
The Ambient Logic is a modal logic proposed to describe the structural and computational properties of distributed and mobile computations. The static part of the Ambient Logic is,...
230
click to vote
JASIS
2010
15 years 2 months ago
2010
: The work of corporate finance professionals is information intensive. In spite of that the practices and motivations of their information preferences have been researched very li...
162
click to vote
ACL
2011
14 years 7 months ago
2011
Resolving polysemy and synonymy is required for high-quality information extraction. We present ConceptResolver, a component for the Never-Ending Language Learner (NELL) (Carlson ...
132
click to vote
SODA
2010
ACM
16 years 1 months ago
2010
ACM
We introduce the classified stable matching problem, a problem motivated by academic hiring. Suppose that a number of institutes are hiring faculty members from a pool of applican...