Sciweavers

2980 search results - page 178 / 596
» Learning better together
Sort
View
ICDE
2007
IEEE
90views Database» more  ICDE 2007»
16 years 24 days ago
Music Recommendation Mapping and Interface Based on Structural Network Entropy
Recommendation systems generally produce the results of their output to their users in the form of an ordinal list. In the interest of simplicity, these lists are often obscure, ,...
Justin Donaldson
MUE
2007
IEEE
100views Multimedia» more  MUE 2007»
16 years 23 days ago
Pave the Way to Future Smart Living Space - Cross-layer Enhanced AAA for 4G Core Network
The 4th generation mobile communication system certainly will have a lot of improvement such as supporting higher multimedia loading, offering faster transmission rate, and the im...
Tin Yu Wu, Diego Chung, Chi-Yuan Chen, Han-Chieh C...
CAV
2007
Springer
118views Hardware» more  CAV 2007»
16 years 20 days ago
Local Proofs for Global Safety Properties
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
Ariel Cohen 0002, Kedar S. Namjoshi
WCRE
2006
IEEE
16 years 15 days ago
Program COmprehension through Dynamic Analysis
Software maintenance and evolution can be made easier if program comprehension techniques are used. Understanding a software system would typically necessitate a combination of st...
Andy Zaidman, Orla Greevy, Abdelwahab Hamou-Lhadj
ITCC
2005
IEEE
16 years 2 days ago
Grid-Based Collaboration in Interactive Data Language Applications
Interactive Data Language (IDL) is an array-oriented data analysis and visualization application, which is widely used in research, commerce, and education. It is meaningful to ma...
Minjun Wang, Geoffrey Fox, Marlon E. Pierce