1716 search results - page 132 / 344 » Proving Conditional Termination |
CIE
2008
Springer
15 years 2 months ago
2008
Springer
Having principal typings (for short PT) is an important property of type systems. This property guarantees the possibility of type deduction which means it is possible to develop a...
126
Voted
ATAL
2005
Springer
15 years 2 months ago
2005
Springer
Although informative, the semantic definition proposed for the most standard agent communication language (FIPA ACL 1997) is complicated and contentious, while published interact...
119
Voted
VISSYM
2003
15 years 2 months ago
2003
For volume rendering of regular grids the display of view-plane aligned slices has proven to yield both good quality and performance. In this paper we demonstrate how to merge the...
118
click to vote
ICMAS
1998
15 years 2 months ago
1998
In this paper, we discuss two major tradeoffs, spatial and temporal tradeoffs, that appear when applying marketbased computing to multimedia network applications. The former appea...
92
Voted
AAAI
1997
15 years 2 months ago
1997
Traditionally, qualitative simulation uses a global, state-based representation to describe the behavior of the modeled system. For larger, more complex systems this representatio...