1705 search results - page 112 / 341 » Representing Constraints with Automata |
132
click to vote
DSS
2007
15 years 4 months ago
2007
International crime and terrorism have drawn increasing attention in recent years. Retrieving relevant information from criminal records and suspect communications is important in...
170
click to vote
PVLDB
2010
15 years 2 months ago
2010
Supporting legacy applications when the database schema evolves represents a long-standing challenge of practical and theoretical importance. Recent work has produced algorithms a...
153
click to vote
ICCAD
1999
IEEE
15 years 8 months ago
1999
IEEE
Constraining and input biasing are frequently used techniques in functional verification methodologies based on randomized simulation generation. Constraints confine the simulatio...
126
click to vote
CATS
2008
15 years 5 months ago
2008
We study the consistency problem for extended global cardinality (EGC) constraints. An EGC constraint consists of a set X of variables, a set D of values, a domain D(x) D for eac...
134
click to vote
SAC
2010
ACM
15 years 4 months ago
2010
ACM
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...