504 search results - page 85 / 101 » Explaining Verification Conditions |
IJLT
2008
14 years 11 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...
104
click to vote
CORR
2007
Springer
14 years 11 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
14 years 11 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
14 years 11 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
14 years 11 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...