Sciweavers

2593 search results - page 259 / 519
» On Two Problems of Nano-PLA Design
Sort
View
KBSE
2008
IEEE
15 years 5 months ago
Swarm Verification
Reportedly, supercomputer designer Seymour Cray once said that he would sooner use two strong oxen to plow a field than a thousand chickens. Although this is undoubtedly wise when...
Gerard J. Holzmann, Rajeev Joshi, Alex Groce
COMSWARE
2007
IEEE
15 years 5 months ago
Survivable Routing in WDM Weighted Networks
: In this paper, we investigate the problem of routing lightpaths on an arbitrary physical topology following a Design Protection approach, such that virtual topology remains conne...
Debasis Mandal, Satyajit Nath, Bivas Mitra
UIST
2006
ACM
15 years 5 months ago
Viz: a visual analysis suite for explaining local search behavior
NP-hard combinatorial optimization problems are common in real life. Due to their intractability, local search algorithms are often used to solve such problems. Since these algori...
Steven Halim, Roland H. C. Yap, Hoong Chuin Lau
ATAL
2005
Springer
15 years 4 months ago
Emotion based adaptive reasoning for resource bounded agents
In the design of resource bounded agents, high-level cognitive activities, such as reasoning, raise important problems related both to the adaptive ability and to the computationa...
Luís Morgado, Graça Gaspar
ACMICEC
2003
ACM
158views ECommerce» more  ACMICEC 2003»
15 years 4 months ago
Mechanisms for coalition formation and cost sharing in an electronic marketplace
In this paper we study the mechanism design problem of coalition formation and cost sharing in an electronic marketplace, where buyers can form coalitions to take advantage of dis...
Cuihong Li, Uday Rajan, Shuchi Chawla, Katia Sycar...