Sciweavers

18188 search results - page 3245 / 3638
» Evaluation for Collaborative Systems
Sort
View
LISP
2008
105views more  LISP 2008»
15 years 6 months ago
Proving operational termination of membership equational programs
Abstract Reasoning about the termination of equational programs in sophisticated equational languages such as ELAN, MAUDE, OBJ, CAFEOBJ, HASKELL, and so on, requires support for ad...
Francisco Durán, Salvador Lucas, Claude Mar...
JSAC
2006
104views more  JSAC 2006»
15 years 6 months ago
Queue Proportional Scheduling via Geometric Programming in Fading Broadcast Channels
For fading broadcast channels (BC), a throughput optimal scheduling policy called queue proportional scheduling (QPS) is presented via geometric programming (GP). QPS finds a data ...
Kibeom Seong, Ravi Narasimhan, John M. Cioffi
JSAC
2006
143views more  JSAC 2006»
15 years 6 months ago
Capacity and QoS for a Scalable Ring-Based Wireless Mesh Network
The wireless mesh network (WMN) is an economical solution to support ubiquitous broadband services. This paper investigates the tradeoffs among quality-of-service (QoS), capacity, ...
Jane-Hwa Huang, Li-Chun Wang, Chung-Ju Chang
EOR
2007
77views more  EOR 2007»
15 years 6 months ago
Solving the short-term electrical generation scheduling problem by an adaptive evolutionary approach
In this paper, we introduce an adaptive evolutionary approach to solve the short-term electrical generation scheduling problem (STEGS). The STEGS is a hard constraint satisfaction...
Jorge Maturana, María-Cristina Riff
183
Voted
KAIS
2006
95views more  KAIS 2006»
15 years 6 months ago
Discovering mappings in hierarchical data from multiple sources using the inherent structure
Unprecedented amounts of media data are publicly accessible. However, it is increasingly difficult to integrate relevant media from multiple and diverse sources for effective appli...
K. Selçuk Candan, Jong Wook Kim, Huan Liu, ...
« Prev « First page 3245 / 3638 Last » Next »