580 search results - page 90 / 116 » Some Computational Aspects of distance-sat |
122
click to vote
ALMOB
2006
14 years 12 months ago
2006
This editorial announces Algorithms for Molecular Biology, a new online open access journal published by BioMed Central. By launching the first open access journal on algorithmic ...
HRI
2010
ACM
15 years 6 months ago
2010
ACM
— This conceptual paper broaches possibilities and limits of establishing psychological intimacy in HRI. Keywords- human-robot interaction, interaction patterns, social and moral...
ICSM
2005
IEEE
15 years 5 months ago
2005
IEEE
In the work presented here, we introduce a method to automatically generate a subset of a UML class model based on a user-defined criterion. The goal of this work is to allow us to...
109
click to vote
JSA
2000
14 years 11 months ago
2000
In this article, the problem of finding a tight estimate on the worst-case execution time (WCET) of a real-time program is addressed. The analysis is focused on straight-line code...
SIGECOM
2005
ACM
15 years 5 months ago
2005
ACM
We study various computational aspects of solving games using dominance and iterated dominance. We first study both strict and weak dominance (not iterated), and show that checki...