4679 search results - page 280 / 936 » Modeling When Connections Are the Problem |
185
click to vote
ICDM
2008
IEEE
16 years 1 months ago
2008
IEEE
The problem of overlapping clustering, where a point is allowed to belong to multiple clusters, is becoming increasingly important in a variety of applications. In this paper, we ...
156
click to vote
AIIA
2007
Springer
16 years 24 days ago
2007
Springer
In this paper, we address the problem of personalization in question answering (QA). We describe the personalization component of YourQA, our web-based QA system, which creates ind...
168
click to vote
FORMATS
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We examine to what extent implementation of timed automata can be achieved using the standard semantics and appropriate modeling, instead of introducing new semantics. We...
150
click to vote
FMCAD
2004
Springer
15 years 12 months ago
2004
Springer
We consider the problem of checking whether an incomplete design can still be extended to a complete design satisfying a given CTL formula and whether the property is satisfied fo...
156
click to vote
DATE
2002
IEEE
15 years 11 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...