2251 search results - page 53 / 451 » Specification and Implementation Problems for C |
133
click to vote
MSV
2004
15 years 4 months ago
2004
Business visualization is an effective tool for business decision making and problem solving. Despite its obvious benefits, 3D visualization is far less common in practice than it...
138
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
High confidence in floating-point programs requires proving numerical properties of final and intermediate values. One may need to guarantee that a value stays within some range, ...
157
click to vote
EMSOFT
2010
Springer
15 years 1 months ago
2010
Springer
Correct and efficient implementation of general real-time applications remains by far an open problem. A key issue is meeting timing constraints whose satisfaction depends on feat...
113
click to vote
CP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. This paper engineers a new state-of-the-art Stochastic Local Search (SLS) for the Low Autocorrelation Binary Sequence (LABS) problem. The new SLS solver is obtained with ...
118
Voted
ARGMAS
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we propose a new persuasion dialogue game for agent communication. We show how this dialogue game is modeled by a framework based on social commitments and arguments....