504 search results - page 85 / 101 » Explaining Verification Conditions |
IJLT
2008
13 years 9 months ago
2008
: To enhance users' social embedding within learning networks, we propose to establish ad hoc transient communities. These communities serve a particular goal, exist for a lim...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
Given a sample covariance matrix, we examine the problem of maximizing the variance explained by a linear combination of the input variables while constraining the number of nonze...
JUCS
2008
13 years 9 months ago
2008
: This paper analyses the requirements of automation and adaptation in the so called perceptive environments. These environments are places with the ability of perceiving the conte...
ORGSCI
2008
13 years 9 months ago
2008
Previous literature on open source software (OSS) mostly analyzes organizational issues within communities of developers and users. This paper focuses on profit-oriented organizat...
BC
2000
13 years 8 months ago
2000
Using tools from discrete dynamical systems theory, we begin a systematic analysis of a distributed model of leg coordination with both biological and robotic applications. In this...