612 search results - page 115 / 123 » Bounded model checking for knowledge and real time |
111
click to vote
ICAD
2004
14 years 11 months ago
2004
EmotionFace is a software interface for visually displaying the self-reported emotion expressed by music. Taken in reverse, it can be viewed as a facial expression whose auditory ...
102
click to vote
CAINE
2009
14 years 7 months ago
2009
An efficient customer behavior analysis is important for good Recommender System. Customer transaction clustering is usually the first step towards the analysis of customer behavi...
ADC
2003
Springer
15 years 2 months ago
2003
Springer
Minkowski-sum cost model indicates that balanced data partitioning is not beneficial for high dimensional data. Thus we study several unbalanced partitioning methods and propose ...
SC
2005
ACM
15 years 3 months ago
2005
ACM
We present the development and use of a novel distributed geohazard modeling environment for the analysis and interpretation of large scale earthquake data sets. Our work demonstr...
109
click to vote
SCP
1998
14 years 9 months ago
1998
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...