Sciweavers

15375 search results - page 190 / 3075
» cans 2008
Sort
View
INFORMATICALT
2008
92views more  INFORMATICALT 2008»
13 years 8 months ago
On Structural Analysis of Parliamentarian Voting Data
We investigate applicability of quantitative methods to discover the most fundamental structural properties of the most reliable political data in Lithuania. Namely, we analyze vot...
Tomas Krilavicius, Antanas Zilinskas
INFORMATICALT
2008
74views more  INFORMATICALT 2008»
13 years 8 months ago
Termination of Derivations in a Fragment of Transitive Distributed Knowledge Logic
A transitive distributed knowledge logic is considered. The considered logic S4nD is obtained from multi-modal logic S4n by adding transitive distributed knowledge operator. For a ...
Regimantas Pliuskevicius, Aida Pliuskeviciene
INTEGRATION
2008
89views more  INTEGRATION 2008»
13 years 8 months ago
Exact ESCT minimization for functions of up to six input variables
In this paper an efficient algorithm for the synthesis and exact minimization of ESCT(Exclusive or Sum of Complex Terms) expressions for Boolean functions of at most six variables...
Dimitrios Voudouris, Marinos Sampson, George K. Pa...
IPL
2008
95views more  IPL 2008»
13 years 8 months ago
Approximating maximum satisfiable subsystems of linear equations of bounded width
We consider the problem known as MAX-SATISFY: given a system of m linear equations over the rationals, find a maximum set of equations that can be satisfied. Let r be the width of...
Zeev Nutov, Daniel Reichman
IPL
2008
95views more  IPL 2008»
13 years 8 months ago
Distortion lower bounds for line embeddings
In this paper, we show how we can derive lower bounds and also compute the exact distortion for the line embeddings of some special metrics, especially trees and graphs with certai...
Claire Mathieu, Charalampos Papamanthou