3901 search results - page 371 / 781 » software 2008 |
150
click to vote
FSTTCS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. We study the decision theory of a maximally risk-averse investor — one whose objective, in the face of stochastic uncertainties, is to minimize the probability of ever ...
158
click to vote
FSTTCS
2008
Springer
15 years 7 months ago
2008
Springer
ABSTRACT. We study the algorithmic complexity of lattice problems based on Ajtai-Kumar-Sivakumar sieving technique [AKS01]. Given a k-dimensional subspace M ⊆ Rn and a full rank ...
169
click to vote
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
Situated Multi-Agents Systems (MAS), and other Agentbased systems, are often complex. Formal reasoning is needed to ensuring their correctness and structuring their development. E...
168
click to vote
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract--We describe a vibratory part transport mechanism that utilizes both static and dynamic friction to linearly transport parts in a horizontal direction. We derive a horizon...
172
click to vote
RE
2008
Springer
15 years 6 months ago
2008
Springer
We describe the experience of using a combination of requirements engineering techniques (scenarios, storyboards, observation and workshops) in an escience application to develop ...