2534 search results - page 37 / 507 » A Type System for the Push-Enter Model |
EPIA
2005
Springer
14 years 2 months ago
2005
Springer
In this paper, we propose a framework named UMT (User-profile Modeling based on Transactional data) for modeling user group profiles based on the transactional data. UMT is a gener...
IUI
1999
ACM
14 years 1 months ago
1999
ACM
Model-based interface development systems have not been able to progress beyond producing narrowly focused interface designs of restricted applicability. We identify a -abstractio...
ICASSP
2011
IEEE
13 years 14 days ago
2011
IEEE
We consider the task of acoustic system identification, where the input signal undergoes a memoryless nonlinear transformation before convolving with an unknown linear system. We...
VMCAI
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
ICC
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—In this paper, we explore the “clustering” phenomenon in BT-like systems. A high clustering implies peers have a high tendency to exchange information with peers of ...