1792 search results - page 98 / 359 » e-Participation and Decision Analysis |
175
click to vote
LPAR
2010
Springer
14 years 9 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
73
Voted
EDM
2009
14 years 9 months ago
2009
The monitoring and support of university freshmen is considered very important at many educational institutions. In this paper we describe the results of the educational data minin...
ICIP
2009
IEEE
14 years 9 months ago
2009
IEEE
In this paper a multi-modal method for human identification that exploits the discrimination power of several movement types performed from the same human is proposed. Utilizing a ...
AISS
2010
14 years 8 months ago
2010
HW/SW communication mode makes significant impact on HW/SW communication efficiency. Based on the characteristics of the hardware functions, this paper presents an adaptive HW/SW ...
CJ
2010
14 years 8 months ago
2010
Complex systems researchers have looked to the Internet as a possible source of interesting emergent behaviour. Indeed, some high profile failures, and some low level phenomena, m...