6608 search results - page 1195 / 1322 » On the Completeness of Model Checking |
131
click to vote
DATAMINE
2006
15 years 4 months ago
2006
Clustering with partial supervision finds its application in situations where data is neither entirely nor accurately labeled. This paper discusses a semisupervised clustering algo...
108
click to vote
ENDM
2006
15 years 4 months ago
2006
The students of the Industrial Design department at the TU Eindhoven are allowed to design part of their curriculum by selecting courses from a huge course pool. They do this by ha...
118
click to vote
CAGD
2007
15 years 4 months ago
2007
Barycentric coordinates are a fundamental concept in computer graphics and geometric modeling. We extend the geometric construction of Floater’s mean value coordinates [8,11] to...
138
click to vote
FUIN
2006
15 years 4 months ago
2006
We introduce a new variant of membrane systems where the rules are directly assigned to membranes and, moreover, every membrane carries an energy value that can be changed during a...
114
click to vote
IJNSEC
2008
15 years 4 months ago
2008
Recently, M. Abdalla et al. proposed a slightly different variant of AuthA, based on the scheme proposed by E. Bresson et al., and provided the first complete proof of forward-sec...