2954 search results - page 179 / 591 » Beyond |
185
click to vote
LPNMR
2007
Springer
16 years 1 months ago
2007
Springer
Recently, the stable model semantics was extended to the syntax of arbitrary propositional formulas, which are beyond the traditional rule form. Cabalar and Ferraris, as well as Ca...
171
click to vote
PAKDD
2007
ACM
16 years 1 months ago
2007
ACM
The emerging interests in spatial pattern mining lead to the demand for a flexible spatial pattern mining language, on which easy to use and understand visual pattern language cou...
164
click to vote
SEMWEB
2007
Springer
16 years 1 months ago
2007
Springer
Partial knowledge about geospatial categories is critical for knowledge modelling in the geospatial domain but is beyond the scope of conventional ontologies. Degree of overlaps be...
191
click to vote
TLCA
2007
Springer
16 years 1 months ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
170
click to vote
FOCS
2006
IEEE
16 years 29 days ago
2006
IEEE
We study a switch Markov chain on regular graphs, where switches are allowed only between links that are at distance 3; we call this the Flip. The motivation for studying the Flip...