5624 search results - page 538 / 1125 » On Conditional Covering Problem |
168
click to vote
IOLTS
2008
IEEE
16 years 1 months ago
2008
IEEE
With the technology entering the nano dimension, manufacturing processes are less and less reliable, thus drastically impacting the yield. A possible solution to alleviate this pr...
181
click to vote
3DIM
2007
IEEE
16 years 1 months ago
2007
IEEE
Geometric models created from range sensors are usually incomplete. Considerable effort has been made to fix this problem, ranging from manual repairing to geometric interpolatio...
173
click to vote
ICLP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Action description languages, such as A and B [6], are expressive instruments introduced for formalizing planning domains and problems. The paper starts by proposing a me...
177
click to vote
TABLEAUX
2007
Springer
16 years 1 months ago
2007
Springer
Subintuitionistic logics are a class of logics defined by using Kripke models with more general conditions than those for intuitionistic logic. In this paper we study predicate lo...
147
click to vote
WEBI
2007
Springer
16 years 1 months ago
2007
Springer
This paper addresses the issue of researcher profiling. By researcher profiling, we mean building a semantic profile for an academic researcher, by identifying and annotating info...