4355 search results - page 786 / 871 » From Interpretation to Compilation |
IFIP
2000
Springer
15 years 1 months ago
2000
Springer
Many researchers have searched for evidence of organizational improvements from the huge sums invested in ICT. Unfortunately, evidence for such a pay back is spotty at best (e.g.,...
101
click to vote
ISMIR
2000
Springer
15 years 1 months ago
2000
Springer
Active listening is the core of musical activity Listening does not only concern receiving musical information. On the contrary, it is "active" and based on a set of int...
118
click to vote
KR
1991
Springer
15 years 1 months ago
1991
Springer
Temporal logic can be used as a programming language. If temporal formulae are represented in the form of an implication where the antecedent refers to the past, and the consequen...
LICS
1991
IEEE
15 years 1 months ago
1991
IEEE
We present an elementary axiomatisation of synthetic domain theory and show that it is sufficient to deduce the fixed point property and solve domain equations. Models of these a...
100
click to vote
EDBTW
2010
Springer
15 years 1 months ago
2010
Springer
Successfully structuring information in databases, OLAP cubes, and XML is a crucial element in managing data nowadays. However this process brought new challenges to usability. It...