Sciweavers

3353 search results - page 328 / 671
» Laver and set theory
Sort
View
ISMVL
2010
IEEE
166views Hardware» more  ISMVL 2010»
15 years 10 months ago
Non-deterministic Multi-valued Logics--A Tutorial
Non-deterministic multi-valued matrices (Nmatrices) are a new, fruitful and quickly expanding field of research first introduced a few years ago. Since then it has been rapidly ...
Arnon Avron, Anna Zamansky
SGP
2004
15 years 9 months ago
Comparing Point Clouds
Point clouds are one of the most primitive and fundamental surface representations. A popular source of point clouds are three dimensional shape acquisition devices such as laser ...
Facundo Mémoli, Guillermo Sapiro
APN
2008
Springer
15 years 8 months ago
HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri Nets
HYPENS is an open source tool to simulate timed discrete, continuous and hybrid Petri nets. It has been developed in Matlab to allow designer and user to take advantage of several...
Fausto Sessego, Alessandro Giua, Carla Seatzu
179
Voted
ATAL
2008
Springer
15 years 8 months ago
Approximate predictive state representations
Predictive state representations (PSRs) are models that represent the state of a dynamical system as a set of predictions about future events. The existing work with PSRs focuses ...
Britton Wolfe, Michael R. James, Satinder P. Singh
ATAL
2008
Springer
15 years 8 months ago
A broader picture of the complexity of strategic behavior in multi-winner elections
Recent work by Procaccia, Rosenschein and Zohar [14] established some results regarding the complexity of manipulation and control in elections with multiple winners, such as elec...
Reshef Meir, Ariel D. Procaccia, Jeffrey S. Rosens...