Sciweavers

5608 search results - page 342 / 1122
» On the Theory of Matchgate Computations
Sort
View
APPROX
2006
Springer
162views Algorithms» more  APPROX 2006»
15 years 10 months ago
Approximating Precedence-Constrained Single Machine Scheduling by Coloring
Abstract. This paper investigates the relationship between the dimension theory of partial orders and the problem of scheduling precedenceconstrained jobs on a single machine to mi...
Christoph Ambühl, Monaldo Mastrolilli, Ola Sv...
FMCAD
2006
Springer
15 years 10 months ago
Finite Instantiations for Integer Difference Logic
The last few years have seen the advent of a new breed of decision procedures for various fragments of first-order logic based on ional abstraction. A lazy satisfiability checker ...
Hyondeuk Kim, Fabio Somenzi
CAISE
2009
Springer
15 years 10 months ago
The Problem of Transitivity of Part-Whole Relations in Conceptual Modeling Revisited
Abstract. Parthood is a relation of fundamental importance in a number of disciplines including cognitive science, linguistics and conceptual modeling. However, one classical probl...
Giancarlo Guizzardi
WICON
2008
15 years 8 months ago
Game-based admission control for wireless systems
Much previous work has examined the wireless power control problem using tools from game theory, an economic concept which describes the behavior of interdependent but non-coopera...
Benjamin Yolken, Nicholas Bambos
ECIS
2003
15 years 8 months ago
Universality thesis in IS ethics education - an empirical study
The explosion in the use of computers has strengthened the need to address ethical issues in information systems (IS) education. As a result, several IS ethics education framework...
Tero Vartiainen, Mikko T. Siponen