5550 search results - page 345 / 1110 » Different Approaches to Proof Systems |
166
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper examines two Network Interface Card microarchitectures that support low latency, high bandwidth userlevel message passing in multi-user environments. The two are at dif...
157
click to vote
COLING
2000
15 years 8 months ago
2000
In order to realize their full potential, multimodal interfaces need to support not just input from multiple modes, but single commands optimally distributed across the available ...
201
click to vote
CTW
2002
15 years 6 months ago
2002
ive. This characterization leads to model-based abstractions and representation design techniques as potential solutions. Many of the existing approaches to coping with data overlo...
159
click to vote
MIS
1999
Springer
15 years 11 months ago
1999
Springer
Interactive multimedia sessions have uncertain, varying consumption rates due to users' interactive behavior. In this paper, we propose two approaches for prediction of consu...
177
click to vote
JUCS
2008
15 years 6 months ago
2008
: The mining of generic software components from legacy systems can be used as an auxiliary technique to revitalize systems. This paper presents a software maintenance approach tha...