1026 search results - page 66 / 206 » A Methodology for Equational Reasoning |
HSNMC
2003
Springer
14 years 2 months ago
2003
Springer
The provision of Quality of Service (QoS) in a seamless way over the dominating internetworking protocol of our times (IP), has been a challenge for many researchers in the past ye...
DSVIS
2008
Springer
13 years 11 months ago
2008
Springer
The design and evaluation of multimodal systems has traditionally been a craft skill. There are some well established heuristics, guidelines and frameworks for assessing multimodal...
EHCI
2001
13 years 10 months ago
2001
Despite the increasing availability of groupware, most systems are awkward and not widely used. While there are many reasons for this, a significant problem is that groupware is di...
JODS
2007
13 years 9 months ago
2007
Abstract. A viable ontology engineering methodology requires supporting domain experts in gradually building and managing increasingly complex versions of ontological elements and ...
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
In strategic multiagent decision making, it is often the case that a strategic reasoner must hold beliefs about other agents and use these beliefs to inform its decision making. T...