1705 search results - page 250 / 341 » Representing Constraints with Automata |
101
Voted
CADE
2006
Springer
16 years 1 months ago
2006
Springer
Context Unification is the problem to decide for a given set of second-order equations E where all second-order variables are unary, whether there exists a unifier, such that for e...
181
Voted
VLDB
2007
ACM
16 years 1 months ago
2007
ACM
Recent research on skyline queries has attracted much interest in the database and data mining community. Given a database, an object belongs to the skyline if it cannot be domina...
PERCOM
2006
ACM
16 years 13 days ago
2006
ACM
The increasing availability of information about people's context makes it possible to deploy context-sensitive services, where access to resources provided or managed by a s...
112
Voted
ICCD
2002
IEEE
15 years 9 months ago
2002
IEEE
We represent switching activity in VLSI circuits using a graphical probabilistic model based on Cascaded Bayesian Networks (CBN’s). We develop an elegant method for maintaining ...
67
Voted
ICCAD
2003
IEEE
15 years 9 months ago
2003
IEEE
Current design automation methodologies are becoming incapable of achieving design closure especially in the presence of deep submicron effects. This paper addresses the issue of ...