Sciweavers

923 search results - page 121 / 185
» The Computational Structure of Progress Conditions
Sort
View
COMPUTER
2008
86views more  COMPUTER 2008»
14 years 10 months ago
Supporting Acquisition of Basic Skills
ors induce aptitudes: abstract skills and knowledge. Mentors foster attitudes: social skills and graces. In my experience of school, starting 70 years or so ago, quite regimented i...
W. Neville Holmes
BMCBI
2010
156views more  BMCBI 2010»
14 years 10 months ago
Mathematical model for empirically optimizing large scale production of soluble protein domains
Background: Efficient dissection of large proteins into their structural domains is critical for high throughput proteome analysis. So far, no study has focused on mathematically ...
Eisuke Chikayama, Atsushi Kurotani, Takanori Tanak...
LICS
2000
IEEE
15 years 2 months ago
Concurrent Omega-Regular Games
We consider two-player games which are played on a finite state space for an infinite number of rounds. The games are concurrent, that is, in each round, the two players choose ...
Luca de Alfaro, Thomas A. Henzinger
KBSE
2007
IEEE
15 years 4 months ago
Adaptation hiding modularity
Growth in the complexity of computing systems, in the dynamism of the environments they operate in, and the need for timely adaptations as conditions change, now pose significant...
Yuanyuan Song
ECAI
2006
Springer
15 years 1 months ago
Logic Programs with Multiple Chances
Abstract. In human-like reasoning it often happens that different conditions, partially alternative and hierarchically structured, are mentally grouped in order to derive some conc...
Francesco Buccafurri, Gianluca Caminiti, Domenico ...