Sciweavers

18209 search results - page 123 / 3642
» Some Remarks on the Paper
Sort
View
IWFM
1998
125views Formal Methods» more  IWFM 1998»
13 years 11 months ago
Mathematics for Formal Methods, a Proposal for Education Reform
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications tech...
Mícheál Mac an Airchinnigh
ICEC
1994
82views more  ICEC 1994»
13 years 11 months ago
Improving Search by Incorporating Evolution Principles in Parallel Tabu Search
Combinatorial optimization problems require computing efforts which grow at least exponentially with the problem dimension. Therefore, the use of the remarkable power of massively...
Ivan De Falco, Renato Del Balio, Ernesto Tarantino...
SWAP
2007
13 years 11 months ago
An Approach to Decision Support in Heart Failure
Chronic heart failure is a severe clinical syndrome among the most remarkable for prevalence and morbidity in the developed western countries. The European STREP project HEARTFAID ...
Sara Colantonio, Massimo Martinelli, Davide Moroni...
EOR
2008
159views more  EOR 2008»
13 years 10 months ago
A survey on the continuous nonlinear resource allocation problem
Our problem of interest consists of minimizing a separable, convex and differentiable function over a convex set, defined by bounds on the variables and an explicit constraint des...
Michael Patriksson
JIS
2006
103views more  JIS 2006»
13 years 10 months ago
Usage patterns of collaborative tagging systems
Collaborative tagging describes the process by which many users add metadata in the form of keywords to shared content. Recently, collaborative tagging has grown in popularity on ...
Scott A. Golder, Bernardo A. Huberman