Sciweavers

1720 search results - page 142 / 344
» Evaluation of a High Performance Code Compression Method
Sort
View
129
Voted
TVCG
2011
120views more  TVCG 2011»
14 years 10 months ago
Drawing and Labeling High-Quality Metro Maps by Mixed-Integer Programming
—Metro maps are schematic diagrams of public transport networks that serve as visual aids for route planning and navigation tasks. It is a challenging problem in network visualiz...
Martin Nöllenburg, Alexander Wolff
146
Voted
ICCD
2004
IEEE
137views Hardware» more  ICCD 2004»
16 years 18 days ago
Comparative Study of Strategies for Formal Verification of High-Level Processors
Compared are different methods for evaluation of formulas expressing microprocessor correctness in the logic of Equality with Uninterpreted Functions and Memories (EUFM) by transl...
Miroslav N. Velev
119
Voted
CBMS
2006
IEEE
15 years 9 months ago
Evaluation of an Online Analogical Patient Simulation Program
Medulator™, a commercial Web-based, variable response, patient simulation application, was modified to test the effect of case sequencing, explicit case comparison, and user-gen...
Gregory A. Thompson, Robert G. Morrison, Keith J. ...
136
Voted
TCSV
2008
94views more  TCSV 2008»
15 years 3 months ago
FGS Coding Using Cycle-Based Leaky Prediction Through Multiple Leaky Factors
This paper proposes a fine granularity scalable (FGS) coding using cycle-based leaky prediction, in which the multiple leaky factors are used to yield enhancement layer prediction ...
Xiangyang Ji, Yanyan Zheng, Debin Zhao, Feng Wu, W...
132
Voted
ATAL
2010
Springer
15 years 3 months ago
Avoiding the prisoner's dilemma in auction-based negotiations for highly rugged utility spaces
There is a number of recent research lines addressing complex negotiations in highly rugged utility spaces. However, most of them focus on overcoming the problems imposed by the c...
Ivan Marsá-Maestre, Miguel A. López-...