714 search results - page 37 / 143 » An efficient algorithm for positive realizations |
CGO
2003
IEEE
15 years 3 months ago
2003
IEEE
Existing profile-guided partial redundancy elimination (PRE) methods use speculation to enable the removal of partial redundancies along more frequently executed paths at the expe...
179
click to vote
ICDT
2009
ACM
16 years 15 days ago
2009
ACM
The inclusion of Regular Expressions (REs) is the kernel of any type-checking algorithm for XML manipulation languages. XML applications would benefit from the extension of REs wi...
147
click to vote
ADG
2004
Springer
15 years 5 months ago
2004
Springer
In this paper, we study the problem of reconstructing the polyhedral structures and geometric positions of a general nD polyhedral scene from a single 2D line drawing. With the ide...
AAAI
2000
15 years 1 months ago
2000
The proliferation of online information sources has accentuated the need for tools that automatically validate and recognize data. We present an efficient algorithm that learns st...
CCS
2008
ACM
15 years 1 months ago
2008
ACM
To ensure that a trust negotiation succeeds whenever possible, authorization policy compliance checkers must be able to find all minimal sets of their owners' credentials tha...