753 search results - page 55 / 151 » Completing a (k - 1)-Assignment |
3DPVT
2006
IEEE
15 years 4 months ago
2006
IEEE
To support real-time computation with large, possibly evolving point clouds and range data, we fit a trimmed uniform tensor-product spline function from one direction. The graph ...
JCDL
2006
ACM
15 years 3 months ago
2006
ACM
Evaluation of digital libraries assesses their effectiveness, quality and overall impact. In this paper we present a novel, multi-level logging framework that will provide comple...
ICTAC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We develop semantics for modal logic programs in basic serial multimodal logics, which are parameterized by an arbitrary combination of generalized versions of axioms T, ...
ACMICEC
2004
ACM
15 years 3 months ago
2004
ACM
Mobility, context-awareness and payment combined provide a customer with a completely new setting of consuming services at any time and any place. We introduce SmartRestaurant ser...
CIS
2004
Springer
15 years 3 months ago
2004
Springer
For finding accurate and biologically meaningful multiple sequence alignment, it is required to consider a loosely constrained version of multiple sequence alignment. This paper is...