4880 search results - page 867 / 976 » Manuals as Structured Programs |
114
click to vote
BIOSYSTEMS
2007
15 years 4 months ago
2007
The computational process is based on the activity linking mathematical equations to a materialized physical world. It consumes energy which lower limit is defined by the set of ...
125
click to vote
COMPUTER
2008
15 years 4 months ago
2008
ions and techniques such as activity models, storyboards, and programming by demonstration (Y. Li and J. Landay, "Activity-Based Prototyping of Ubicomp Applications for Long-L...
123
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
107
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In many real-world scenarios, it is nearly impossible to collect explicit social network data. In such cases, whole networks must be inferred from underlying observations. Here, w...
129
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Grasping the fruits of "emerging technologies" is an objective of many government priority programs in a knowledge-based and globalizing economy. We use the publication ...