1306 search results - page 18 / 262 » A Diagrammatic Approach to Model Completion |
ICDM
2010
IEEE
14 years 10 months ago
2010
IEEE
Consider a typical recommendation problem. A company has historical records of products sold to a large customer base. These records may be compactly represented as a sparse custom...
122
click to vote
TASLP
2010
14 years 7 months ago
2010
Abstract--Independent vector analysis (IVA) is a method for separating convolutedly mixed signals that significantly reduces the occurrence of the well-known permutation problem in...
105
Voted
PODC
1999
ACM
15 years 4 months ago
1999
ACM
We present a new approach for reasoning about liveness properties of distributed systems, represented as automata. Our approach is based on simulation relations, and requires reas...
102
click to vote
DSVIS
1994
Springer
15 years 3 months ago
1994
Springer
This paper presents a complete model-based approach to the building of presentation for a business oriented highly interactive application. This approach is considered complete in...
84
Voted
DATE
2002
IEEE
15 years 5 months ago
2002
IEEE
By using a macro/micro state model we show how assumptions on the resolution of logical and physical timing of computation in computer systems has resulted in design methodologies...