2409 search results - page 310 / 482 » On Extended Regular Expressions |
146
click to vote
LACL
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Kanazawa has shown that k-valued classical categorial grammars have the property of finite elasticity [1], which is a sufficient condition for learnability. He has also ...
163
click to vote
LCPC
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We have designed and implemented an interprocedural algorithm to analyze symbolic value ranges that can be assumed by variables at any given point in a program. Our algor...
187
click to vote
LPNMR
2005
Springer
16 years 3 days ago
2005
Springer
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitio...
178
click to vote
WINE
2005
Springer
16 years 2 days ago
2005
Springer
In this paper we extend the notion of multi-unit combinatorial reverse auction by adding a new dimension to the goods at auction. In such a new type of combinatorial auction a buye...
154
click to vote
SACMAT
2004
ACM
16 years 1 days ago
2004
ACM
We describe a layered approach to access control for distributed and interoperable computing systems. Firstly, compound access control policies are conceptually specified, using ...