1492 search results - page 254 / 299 » Testing Properties of Constraint-Graphs |
125
click to vote
FOCS
2009
IEEE
15 years 10 months ago
2009
IEEE
We prove the existence of an algorithm A for computing 2-d or 3-d convex hulls that is optimal for every point set in the following sense: for every set S of n points and for ever...
120
Voted
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. Ludics is peculiar in the panorama of game semantics: we first have the definition of interaction-composition and then we have semantical types, as a set of strategies ...
149
click to vote
ICTAI
2007
IEEE
15 years 9 months ago
2007
IEEE
We review a method of generating logical rules, or axioms, from empirical data. This method, using closed set properties of formal concept analysis, has been previously described ...
135
Voted
RSEISP
2007
Springer
15 years 9 months ago
2007
Springer
Most information about the external world comes from our visual brain. However, it is not clear how this information is processed. We will analyze brain responses using machine lea...
160
Voted
BIBE
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper discusses an ontology based language modeling text mining approach to the annotation of protein community. Communities appear to play an important role in the functional...