Sciweavers

4047 search results - page 257 / 810
» Some Properties and Some Problems on Set Functors
Sort
View
EKAW
1997
Springer
15 years 10 months ago
The Notion of Role in Conceptual Modeling
: In this article we analyse the notion of knowledge role. First of all, we present how the relationship between problem solving methods and domain models is tackled in different a...
Chantal Reynaud, Nathalie Aussenac-Gilles, Pierre ...
ATVA
2010
Springer
114views Hardware» more  ATVA 2010»
15 years 6 months ago
Methods for Knowledge Based Controlling of Distributed Systems
Abstract. Controlling concurrent systems to impose some global invariant is an undecidable problem. One can gain decidability at the expense of reducing concurrency. Even under thi...
Saddek Bensalem, Marius Bozga, Susanne Graf, Doron...
INFOCOM
2012
IEEE
13 years 9 months ago
Cherish every joule: Maximizing throughput with an eye on network-wide energy consumption
—Conserving network-wide energy consumption is becoming an increasingly important concern for network operators. In this work, we study network-wide energy conservation problem w...
Canming Jiang, Yi Shi, Y. Thomas Hou, Wenjing Lou
ICALP
2010
Springer
15 years 11 months ago
Thresholded Covering Algorithms for Robust and Max-min Optimization
The general problem of robust optimization is this: one of several possible scenarios will appear tomorrow, but things are more expensive tomorrow than they are today. What should...
Anupam Gupta, Viswanath Nagarajan, R. Ravi
ISBI
2006
IEEE
16 years 15 days ago
Consistent spherical parameterisation for statistical shape modelling
We have described previously a method of automatically constructing statistical models of shape. The method treats model-building as an optimisation problem by re-parameterising ea...
Rhodri H. Davies, Carole J. Twining, Christopher J...