15754 search results - page 694 / 3151 » Programs are Knowledge Bases |
235
click to vote
TPHOL
2009
IEEE
16 years 2 months ago
2009
IEEE
We present four coinductive operational semantics for the While language accounting for both terminating and non-terminating program runs: big-step and small-step relational semant...
205
click to vote
ISORC
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper describes an extension to the componentbased programming model to support real-time dynamic guarantee for distributed applications. The extended model aims to include a...
171
click to vote
IDEAL
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The importance of modularity in product innovation is analyzed in this paper. Through simulations with an agent-based modular economic model, we examine the significance...
186
click to vote
CP
2003
Springer
16 years 21 days ago
2003
Springer
Abstract. In many situations, a set of hard constraints encodes the feasible configurations of some system or product over which users have preferences. We consider the problem of...
222
click to vote
VL
2000
IEEE
15 years 12 months ago
2000
IEEE
Isaac is a programing language for geometric reasoning intended for controlling mobile robots, currently under development at NMSU. Due to the application area, handling input and...