672 search results - page 5 / 135 » On the Expressive Power of the Loop Language |
128
click to vote
LCC
1994
15 years 3 months ago
1994
We give an AC0 upper bound on the complexity of rst-oder queries over (in nite) databases de ned by restricted linear constraints. This result enables us to deduce the non-expressi...
JACM
1998
14 years 11 months ago
1998
ISLPED
2006
ACM
15 years 5 months ago
2006
ACM
Interprocessor synchronization, while extremely important for ensuring execution correctness, can be very costly in terms of both power and performance overheads. Unfortunately, m...
ECAI
2004
Springer
15 years 5 months ago
2004
Springer
The planning domain language PDDL2.1, used in the 3rd International Planning Competition, has sparked off some controversy in the planning community as researchers consider its exp...
106
click to vote
IANDC
2010
14 years 9 months ago
2010
There is an increasing interest in the shuffle product on formal languages, mainly because it is a standard tool for modeling process algebras. It still remains a mysterious opera...