Sciweavers

687 search results - page 74 / 138
» On The Complexity of Manipulating Elections
Sort
View
JCIT
2008
74views more  JCIT 2008»
13 years 8 months ago
SHAMAN Research and Implementation of an Electronic Medical Records System
In the recent decades the importance of the information systems (IS) has been steadily growing. Nowadays most of the operations that imply complex manipulations with data and stor...
Yerbol Nisanbayev, Il Seok Ko, Olga Yugay
CORR
2007
Springer
68views Education» more  CORR 2007»
13 years 8 months ago
An Improved Tight Closure Algorithm for Integer Octagonal Constraints
Integer octagonal constraints (a.k.a. Unit Two Variables Per Inequality or UTVPI integer constraints) constitute an interesting class of constraints for the representation and solu...
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
CORR
2007
Springer
98views Education» more  CORR 2007»
13 years 8 months ago
Normalisation Control in Deep Inference Via Atomic Flows
We introduce ‘atomic flows’: they are graphs obtained from derivations by tracing atom occurrences and forgetting the logical structure. We study simple manipulations of atomi...
Alessio Guglielmi, Tom Gundersen
DKE
2007
101views more  DKE 2007»
13 years 8 months ago
Parameterized pattern queries
We introduce parameterized pattern queries as a new paradigm to extend traditional pattern expressions over sequence databases. A parameterized pattern is essentially a string mad...
Cédric du Mouza, Philippe Rigaux, Michel Sc...
IJON
2007
84views more  IJON 2007»
13 years 8 months ago
Modeling self-developing biological neural networks
Recent progress in chips–neuron interface suggests real biological neurons as long-term alternatives to silicon transistors. The first step ning such computing systems is to bu...
Hugues Berry, Olivier Temam