6608 search results - page 1186 / 1322 » On the Completeness of Model Checking |
129
click to vote
ECIS
2004
15 years 5 months ago
2004
Companies invest large amounts of money in new technologies. Not surprisingly, much of the research carried out in relation to IT-investments has focused on the adoption of new te...
118
click to vote
DMIN
2006
15 years 5 months ago
2006
: Data warehouse technology transforms the operational data store to general and compositive information. It also provides effective way for analysis and statistic to the mass data...
144
click to vote
FLAIRS
2004
15 years 5 months ago
2004
er provides new techniques for abstracting the state space of a Markov Decision Process (MDP). These techniques extend one of the recent minimization models, known as -reduction, ...
177
click to vote
GRAPHICSINTERFACE
2004
15 years 5 months ago
2004
In this paper, a novel hybrid algorithm is presented for the fast construction and high-quality rendering of visual hulls. We combine the strengths of two complementary hardware-a...
130
click to vote
BIOSIG
2003
15 years 5 months ago
2003
: In this paper we propose a multifactor biometric sketch authentication method based on biometric sketch recognition and a user’s personal knowledge about the sketch‘s content...