3973 search results - page 620 / 795 » Records for Logic Programming |
126
Voted
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...
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 ...
115
click to vote
IANDC
2008
15 years 4 months ago
2008
We develop a behavioural theory of distributed programs in the presence of failures such as nodes crashing and links breaking. The framework we use is that of D, a language in whi...
127
click to vote
IJSC
2008
15 years 4 months ago
2008
ifferent abstraction levels, resulting in isolated `information silos'. An increasing number of task-specific software tools aim to support developers, but this often results ...
127
click to vote
JCC
2008
15 years 4 months ago
2008
Abstract: We have developed a fitting algorithm able to extract spectral and dynamic properties of a three level oscillator from a two-dimensional infrared spectrum (2D-IR) detecte...