Sciweavers

432 search results - page 58 / 87
» Neighborhood Preserving Embedding
Sort
View
CONCUR
1999
Springer
15 years 4 months ago
Statecharts Via Process Algebra
Statecharts is a visual language for specifying the behavior of reactive systems. The language extends nite-state machines with concepts of hierarchy, concurrency, and priority. De...
Gerald Lüttgen, Michael von der Beeck, Rance ...
DATE
1997
IEEE
100views Hardware» more  DATE 1997»
15 years 4 months ago
On the generation of pseudo-deterministic two-patterns test sequence with LFSRs
Many Built-In Self Test pattern generators use Linear Feedback Shift Registers (LFSR) to generate test sequences. In this paper, we address the generation of deterministic pairs o...
Christian Dufaza, Yervant Zorian
AUSAI
2003
Springer
15 years 3 months ago
Decidability of Propositionally Quantified Logics of Knowledge
Abstract. Logics of knowledge have important applications for reasoning about security protocols and multi-agent systems. We extend the semantics for the logic of necessity with lo...
Tim French
NIPS
2007
15 years 1 months ago
Colored Maximum Variance Unfolding
Maximum variance unfolding (MVU) is an effective heuristic for dimensionality reduction. It produces a low-dimensional representation of the data by maximizing the variance of the...
Le Song, Alex J. Smola, Karsten M. Borgwardt, Arth...
EV
2006
74views Hardware» more  EV 2006»
15 years 1 months ago
Transition to Electronic Voting and Citizen Participation
This paper draws attention to the need of a systematic approach to introducing electronic voting systems and presents empirical results from a pilot project by the Provincia Autono...
Letizia Caporusso, Carlo Buzzi, Giolo Fele, Pieran...