4903 search results - page 259 / 981 » The Set Covering Machine |
279
click to vote
CSMR
2000
IEEE
15 years 11 months ago
2000
IEEE
While Software Engineering has mainly focused so far on software development, software deployment is now emerging as a new research field. Software or Application deployment is a ...
166
click to vote
CSL
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Expansions of the natural number ordering by unary predicates are studied, using logics which in expressive power are located between first-order and monadic second-order...
187
Voted
CIE
2008
Springer
15 years 8 months ago
2008
Springer
We study perfectly locally computable structures, which are (possibly uncountable) structures S that have highly effective presentations of their local properties. We show that eve...
169
click to vote
SODA
2004
ACM
15 years 8 months ago
2004
ACM
We present an efficient algorithm for the following problem: Given a collection T = {1, . . . , n} of n triangles in the plane, such that there exists a subset S T (unknown to us)...
141
click to vote
DLOG
2009
15 years 7 months ago
2009
Abstract There are various techniques for specifying a module of an ontology that covers all knowledge about a given set of terms. These differ with respect to the size of the modu...