36781 search results - page 176 / 7357 » Parameterizing by the Number of Numbers |
153
Voted
WFLP
2009
Springer
15 years 7 months ago
2009
Springer
Context-sensitive rewriting is a restriction of rewriting that can be used to elegantly model declarative specification and programming languages such as Maude. Furthermore, it ca...
131
Voted
LPAR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The Description Logics underpinning OWL impose a well-known syntactic restriction in order to preserve decidability: they do not allow to use nonsimple roles—that is, t...
93
Voted
SPIRE
2007
Springer
15 years 6 months ago
2007
Springer
We study the problem of predicting the popularity of items in a dynamic environment in which authors post continuously new items and provide feedback on existing items. This proble...
93
Voted
VOTEID
2007
Springer
15 years 6 months ago
2007
Springer
It is debatable if current direct-recording electronic voting machines can sufficiently be trusted for a use in elections. Reports about malfunctions and possible ways of manipulat...
WDAG
2007
Springer
15 years 6 months ago
2007
Springer
We consider the problem of minimizing the number of ADMs in optical networks. All previous theoretical studies of this problem dealt with the off-line case, where all the lightpat...