Sciweavers

1032 search results - page 129 / 207
» A Category of Explicit Fusions
Sort
View
DLS
2007
159views Languages» more  DLS 2007»
13 years 12 months ago
Relationally-parametric polymorphic contracts
The analogy between types and contracts raises the question of how many features of static type systems can be expressed as dynamic contracts. An important feature missing in prio...
Arjun Guha, Jacob Matthews, Robert Bruce Findler, ...
EMSOFT
2007
Springer
13 years 12 months ago
Necessary and sufficient conditions for deterministic desynchronization
Synchronous reactive formalisms associate concurrent behaviors to precise schedules on global clock(s). This allows a non-ambiguous notion of "absent" signal, which can ...
Dumitru Potop-Butucaru, Robert de Simone, Yves Sor...
CANDT
2009
13 years 12 months ago
Facilitating participatory decision-making in local communities through map-based online discussion
Geographic information systems and online mapping technologies have been widely used for supporting participatory decision-making in local communities. However, limited studies ha...
Bo Yu, Guoray Cai
KDD
2010
ACM
257views Data Mining» more  KDD 2010»
13 years 12 months ago
Multi-task learning for boosting with application to web search ranking
In this paper we propose a novel algorithm for multi-task learning with boosted decision trees. We learn several different learning tasks with a joint model, explicitly addressing...
Olivier Chapelle, Pannagadatta K. Shivaswamy, Srin...
GECCO
2007
Springer
182views Optimization» more  GECCO 2007»
13 years 11 months ago
Stochastic training of a biologically plausible spino-neuromuscular system model
A primary goal of evolutionary robotics is to create systems that are as robust and adaptive as the human body. Moving toward this goal often involves training control systems tha...
Stanley Phillips Gotshall, Terence Soule