3038 search results - page 204 / 608 » Controlling Engineering Problem Solving |
136
click to vote
CCIA
2005
Springer
15 years 7 months ago
2005
Springer
The search of Web resources is a very important topic due to the huge amount of valuable information available in the WWW. Standard search engines can be a great help but they are ...
100
click to vote
FSTTCS
1993
Springer
15 years 6 months ago
1993
Springer
Abstract. We provide a complete system of transformation rules for semantic unification with respect to theories defined by convergent rewrite systems. We show that this standard u...
114
click to vote
FATES
2006
Springer
15 years 6 months ago
2006
Springer
To efficiently solve safety verification and testing problems for an aspect-oriented system, we use multitape automata to model aspects and propose algorithms for the aspect-orient...
115
Voted
FSTTCS
2008
Springer
15 years 3 months ago
2008
Springer
We present a polynomial-time reduction from parity games with imperfect information to safety games with imperfect information. Similar reductions for games with perfect informatio...
129
click to vote
FOSSACS
2011
Springer
14 years 5 months ago
2011
Springer
To the best of our knowledge, we characterize for the first time the importance of resources (counters, channels, alphabets) when measuring expressiveness of WSTS. We establish, f...