5863 search results - page 1051 / 1173 » On Model-Checking of P Systems |
118
click to vote
AIIA
2007
Springer
15 years 5 months ago
2007
Springer
We have recently presented CarpeDiem, an algorithm that can be used for speeding up the evaluation of Supervised Sequential Learning (SSL) classifiers. CarpeDiem provides impress...
116
click to vote
EWRL
2008
15 years 5 months ago
2008
We consider linear fixed point equations and their approximations by projection on a low dimensional subspace. We derive new bounds on the approximation error of the solution, whi...
127
click to vote
IMC
2007
ACM
15 years 5 months ago
2007
ACM
Online social networking sites like Orkut, YouTube, and Flickr are among the most popular sites on the Internet. Users of these sites form a social network, which provides a power...
130
click to vote
AAAI
2010
15 years 5 months ago
2010
For many election systems, bribery (and related) attacks have been shown NP-hard using constructions on combinatorially rich structures such as partitions and covers. It is import...
136
Voted
APVIS
2008
15 years 5 months ago
2008
Volume rendering of multiple intersecting volumetric objects is a difficult visualization task, especially if different rendering styles need to be applied to the components, in o...