2647 search results - page 364 / 530 » Solving Term Inequalities |
166
click to vote
SIMUTOOLS
2008
15 years 7 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
150
click to vote
SDM
2007
SIAM
15 years 7 months ago
2007
SIAM
When non-unique values are used as the identifier of entities, due to their homonym, confusion can occur. In particular, when (part of) “names” of entities are used as their ...
127
click to vote
CSC
2006
15 years 7 months ago
2006
In this paper, we apply the high order WENO schemes to uniform cylindrical and spherical grid. Many 2-D and 3-D problems can be solved in 1-D equations if they have angular and ra...
161
click to vote
DGO
2006
15 years 7 months ago
2006
A sea of undifferentiated information is forming from the body of data that is collected by people and organizations, across government, for different purposes, at different times...
196
click to vote
FLAIRS
2004
15 years 7 months ago
2004
The distributed constraint satisfaction problem (CSP) is a general formalization used to represent problems in distributed multi-agent systems. To deal with realistic problems, mu...