6201 search results - page 849 / 1241 » Implementation of Axiomatic Language |
160
click to vote
GPCE
2005
Springer
16 years 12 days ago
2005
Springer
Saving the internal data of an application in an external form is called marshalling. A generic marshaller is difficult to optimize because the format of the data that will be mars...
208
click to vote
GW
2005
Springer
16 years 12 days ago
2005
Springer
This paper compares different algorithms for tracking the position of fingers in a two-dimensional environment. Four algorithms have been implemented in EyesWeb, developed by DIS...
168
click to vote
ICESS
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
171
click to vote
ICLP
2005
Springer
16 years 12 days ago
2005
Springer
Answer set programming (ASP for short) is a declarative problem solving framework that has been recently attracting the attention of researchers for its expressiveness and for its...
187
click to vote
ICLP
2005
Springer
16 years 12 days ago
2005
Springer
This paper presents experimental comparisons between declarative encodings of various computationally hard problems in both Answer Set Programming (ASP) and Constraint Logic Progra...