15784 search results - page 2959 / 3157 » Mega Software Engineering |
179
click to vote
FSTTCS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract Abstract. In this paper we improve the analysis of approximation algorithms based on semidefinite programming for the maximum graph partitioning problems MAX-k-CUT, MAX-k...
168
click to vote
FSTTCS
2004
Springer
15 years 12 months ago
2004
Springer
A computational model for learning languages in the limit from full positive data and a bounded number of queries to the teacher (oracle) is introduced and explored. Equivalence, ...
187
click to vote
FSTTCS
2004
Springer
15 years 12 months ago
2004
Springer
A self-stabilizing distributed protocol can recover from any state-corrupting fault. A self-stabilizing protocol is called adaptive if its recovery time is proportional to the numb...
157
click to vote
GG
2004
Springer
15 years 12 months ago
2004
Springer
The concept of typed attributed graph transformation is most significant for modeling and meta modeling in software engineering and visual languages, but up to now there is no ade...
177
click to vote
HUC
2004
Springer
15 years 12 months ago
2004
Springer
We present an automated transportation routing system, called “Opportunity Knocks,” whose goal is to improve the efficiency, safety and independence of individuals with mild co...