831 search results - page 31 / 167 » Sweeping with Continuous Domains |
98
Voted
FORMATS
2010
Springer
14 years 10 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 ...
81
Voted
ACS
2007
15 years 18 days 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
15 years 5 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...
96
Voted
ICMCS
1999
IEEE
15 years 4 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....
108
click to vote
CAISE
2005
Springer
15 years 2 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...