1743 search results - page 176 / 349 » Generalized Modal Satisfiability |
169
Voted
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
Component-based models represent a dominant trend in the construction of wide-area network applications, making possible the integration of diverse functionality contained in modu...
112
click to vote
ICCV
2003
IEEE
16 years 5 months ago
2003
IEEE
Recent developments in computer vision have shown that local features can provide efficient representations suitable for robust object recognition. Support Vector Machines have be...
126
Voted
ICML
2004
IEEE
16 years 4 months ago
2004
IEEE
In this paper we show that many kernel methods can be adapted to deal with indefinite kernels, that is, kernels which are not positive semidefinite. They do not satisfy Mercer...
126
Voted
MOBIHOC
2002
ACM
16 years 3 months ago
2002
ACM
Topology control problems are concerned with the assignment of power values to the nodes of an ad hoc network so that the power assignment leads to a graph topology satisfying som...
112
Voted
SEMWEB
2005
Springer
15 years 9 months ago
2005
Springer
This paper extends the model theory of RDF with rules, placing an emphasis on integration with OWL and decidability of entailstart from an abstract syntax that views a rule as a pa...