8486 search results - page 153 / 1698 » Ordered Enumeration Method |
102
click to vote
ICSE
2004
IEEE-ACM
16 years 25 days ago
2004
IEEE-ACM
Dynamic slicing algorithms can greatly reduce the debugging effort by focusing the attention of the user on a relevant subset of program statements. Recently algorithms for forwar...
106
click to vote
ICCAD
2004
IEEE
15 years 9 months ago
2004
IEEE
9, IO]. However, unlike the case with static timing, it is not so easy We show how recent advances in the handling of correlated interval representations of range uncertainty can b...
111
click to vote
MDAI
2007
Springer
15 years 7 months ago
2007
Springer
We take institutions seriously as both a rational response to dilemmas in which agents found themselves and a frame to which later rational agents adapted their behaviour in turn....
137
click to vote
CAV
2000
Springer
15 years 5 months ago
2000
Springer
Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion . . . . . . . . . . . . . . . . . . . . . . . . . . 1 A. Pnueli Invited Address...
174
click to vote
SIGMOD
1999
ACM
15 years 5 months ago
1999
ACM
Cluster analysis is a primary method for database mining. It is either used as a stand-alone tool to get insight into the distribution of a data set, e.g. to focus further analysi...