9931 search results - page 215 / 1987 » Generative Modeling by PRISM |
238
click to vote
ICDE
2003
IEEE
16 years 5 months ago
2003
IEEE
We are interested in capturing time series generated by small wireless electronic sensors. Battery-operated sensors must avoid heavy use of their wireless radio which is a key cau...
141
click to vote
CADE
2004
Springer
16 years 4 months ago
2004
Springer
Abstract. Classifying finite algebraic structures has been a major motivation behind much research in pure mathematics. Automated techniques have aided in this process, but this ha...
136
click to vote
ICST
2009
IEEE
15 years 10 months ago
2009
IEEE
Java PathFinder (JPF) is a popular model checker for Java programs. JPF was used to generate object graphs as test inputs for object-oriented programs. Specifically, JPF was used...
152
click to vote
ICAC
2008
IEEE
15 years 10 months ago
2008
IEEE
Creating good adaptation policies is critical to building complex autonomic systems since it is such policies that define the system configuration used in any given situation. W...
126
click to vote
SLIP
2006
ACM
15 years 10 months ago
2006
ACM
Manufacturable design requires matching of interconnects which have equal nominal dimensions. New design rules are projected to bring guarantee rules for interconnect matching. In...