29046 search results - page 415 / 5810 » Computable Models |
140
Voted
CCCG
2003
15 years 6 months ago
2003
The key step in the construction of the Delaunay triangulation of a finite set of planar points is to establish correctly whether a given point of this set is inside or outside t...
136
Voted
SODA
2004
ACM
15 years 6 months ago
2004
ACM
We study algorithmic questions concerning a basic microeconomic congestion game in which there is a single provider that offers a service to a set of potential customers. Each cus...
109
Voted
IJCAI
2003
15 years 6 months ago
2003
Society needs humor, not just for entertainment. In the Web age, presentations become more and more flexible and personalized and they will require hu mor contributions for elec...
138
click to vote
ISTA
2003
15 years 6 months ago
2003
: A new approach of building enterprise distributed applications for layer of business rules as standard part of architecture is proposed in this paper. The approach uses symbolic ...
130
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may ...