9611 search results - page 173 / 1923 » A Note on Difference Sets |
147
click to vote
ETS
2002
IEEE
15 years 4 months ago
2002
IEEE
Document management, information management, and knowledge management are three processes of an instructional knowledge management system (IKMS) that require different ways of thi...
142
click to vote
BMVC
2010
15 years 3 months ago
2010
Hand segmentation is the basis of many vision-based hand gesture applications in human computer interaction (HCI). This paper proposes a novel method of skin color weighted dispar...
129
Voted
CLEIEJ
2010
15 years 2 months ago
2010
Formalizing and institutionalizing software processes has become a necessity in recent years requiring the management and enhancement of software production and, at the same time,...
148
Voted
CORR
2008
Springer
15 years 4 months ago
2008
Springer
In a seminal paper from 1985, Sistla and Clarke showed that the model-checking problem for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the se...
150
click to vote
TOCL
2011
14 years 12 months ago
2011
In a seminal paper from 1985, Sistla and Clarke showed that the model-checking problem for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the s...