4753 search results - page 454 / 951 » Natural Modelling of Interactive Applications |
210
click to vote
KDD
2010
ACM
15 years 10 months ago
2010
ACM
We propose an online topic model for sequentially analyzing the time evolution of topics in document collections. Topics naturally evolve with multiple timescales. For example, so...
166
click to vote
SPLC
2008
15 years 8 months ago
2008
Model-driven software product lines are an emerging topic in research and industry, as they promise higher development speed and easier adaptability to customer needs. The generat...
207
Voted
CORR
2006
Springer
15 years 6 months ago
2006
Springer
In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general m...
165
click to vote
IJCV
1998
15 years 6 months ago
1998
There are many computational vision techniques that fundamentally rely upon assumptions about the nature of diffuse reflection from object surfaces consisting of commonly occurrin...
160
click to vote
MODELS
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...