Sciweavers

462 search results - page 73 / 93
» Preference Reasoning
Sort
View
GLOBECOM
2006
IEEE
14 years 2 months ago
Stackelberg Game for Distributed Resource Allocation over Multiuser Cooperative Communication Networks
— In this paper, we propose a Stackelberg game theoretic framework for distributive resource allocation over multiuser cooperative communication networks to improve the system pe...
Beibei Wang, Zhu Han, K. J. Ray Liu
HICSS
2006
IEEE
115views Biometrics» more  HICSS 2006»
14 years 2 months ago
Lookahead Cascade for Table Access on Small Devices
Users increasingly expect access to Web data from a wide range of devices, both wired and wireless. The goal of our research is to inform the design of applications that support d...
Rui Zhang, Carolyn R. Watters, Jack Duffy
SEFM
2006
IEEE
14 years 2 months ago
Automatic Property Checking for Software: Past, Present and Future
tic analysis tools based on abstraction are sound but not complete. Several practical static analysis tools are heuristic in nature —they are neither sound nor complete, but have...
Sriram K. Rajamani
SOFTVIS
2006
ACM
14 years 2 months ago
Mondrian: an agile information visualization framework
Data visualization is the process of representing data as pictures to support reasoning about the underlying data. For the interpretation to be as easy as possible, we need to be ...
Michael Meyer, Tudor Gîrba, Mircea Lungu
MKM
2005
Springer
14 years 2 months ago
Translating Mathematical Vernacular into Knowledge Repositories
Abstract. Defining functions is a major topic when building mathematical repositories. Though relatively easy in mathematical vernacular, function definitions rise a number of qu...
Adam Grabowski, Christoph Schwarzweller