241 search results - page 21 / 49 » CACM: past, present, and future |
BIRTHDAY
2007
Springer
14 years 4 months ago
2007
Springer
We present a denotational semantics for a fully functional subset of the Handel-C hardware compilation language [1], based on the concept of typed assertion traces. We motivate the...
IEEECGIV
2006
IEEE
14 years 3 months ago
2006
IEEE
Visualization and team sports have an important and established relationship that is seldom understood. Team sports can be considered as complex activities ng a considerable numbe...
NORDICHI
2006
ACM
14 years 3 months ago
2006
ACM
The focus of the research in human-computer interaction (HCI) continues to expand. One example of this is the growing interest in national and ethnic culture as a research topic. ...
ISIPTA
2005
IEEE
14 years 3 months ago
2005
IEEE
A new model for learning from multinomial data has recently been developed, giving predictive inferences in the form of lower and upper probabilities for a future observation. Apa...
POLICY
2005
Springer
14 years 3 months ago
2005
Springer
The use of policy-based mechanisms significantly reduces the complexity associated with applicational development and operation. In particular, history-based policies allow the s...