1492 search results - page 254 / 299 » Testing Properties of Constraint-Graphs |
154
click to vote
FOCS
2009
IEEE
16 years 22 days 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...
151
click to vote
LICS
2009
IEEE
16 years 18 days 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 ...
201
click to vote
ICTAI
2007
IEEE
16 years 8 days 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 ...
165
click to vote
RSEISP
2007
Springer
16 years 2 days 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...
204
click to vote
BIBE
2006
IEEE
16 years 1 days 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...