1175 search results - page 88 / 235 » A Model for Structural Changes of Belief |
141
click to vote
ATVA
2005
Springer
15 years 12 months ago
2005
Springer
This work extends the game-based framework of µ-calculus model checking to the multi-valued setting. In multi-valued model checking a formula is interpreted over a Kripke structur...
172
click to vote
KDD
2006
ACM
16 years 6 months ago
2006
ACM
This paper presents an LDA-style topic model that captures not only the low-dimensional structure of data, but also how the structure changes over time. Unlike other recent work t...
200
click to vote
KDD
2004
ACM
16 years 6 months ago
2004
ACM
In a wide range of business areas dealing with text data streams, including CRM, knowledge management, and Web monitoring services, it is an important issue to discover topic tren...
208
click to vote
SERA
2010
Springer
15 years 4 months ago
2010
Springer
Thanks to the major evolutions in the communication technologies and in order to deal with a continuous increase in systems complexity, current applications have to cooperate to ac...
226
click to vote
ISBI
2007
IEEE
16 years 21 days ago
2007
IEEE
Three-dimensional mammary cell culture models offer new opportunities for the development of computational techniques for segmentation, localization, and multicellular organizatio...