831 search results - page 31 / 167 » Sweeping with Continuous Domains |
FORMATS
2010
Springer
13 years 7 months ago
2010
Springer
SMT solvers have traditionally been based on the DPLL(T) algorithm, where the driving force behind the procedure is a DPLL search over truth valuations. This traditional framework ...
ACS
2007
13 years 9 months ago
2007
We provide the appropriate common ‘(pre)framework’ for various central results of domain theory and topology, like the Lawson duality of continuous domains, the Hofmann–Lawso...
CAISE
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. PARADIGMA (PARticipative Approach to DIsease Global Management) is a pilot project which aims to develop and demonstrate an Internet based reference framework to share sc...
ICMCS
1999
IEEE
14 years 1 months ago
1999
IEEE
In this paper, we propose a new approach to detect camera cuts and wipes. The approach projects a video into two images representing the spatio-tempoml continuity of a video life....
CAISE
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. In this paper we introduce an extension of the PARADIGMA (PARticipative Approach to DIsease Global Management) approach to take into account the home healthcare assistanc...