21094 search results - page 13 / 4219 » An experiment using DLV-K |
ENTCS
2008
15 years 22 days ago
2008
We describe the experience of implementing a Domain-Specific Language using transformation to a General Purpose Language. The domain of application is image processing and low-lev...
108
click to vote
CADE
2004
Springer
16 years 29 days ago
2004
Springer
Interactive theorem provers can model complex systems, but require much effort to prove theorems. Resolution theorem provers are automatic and powerful, but they are designed to be...
96
Voted
CDC
2008
IEEE
15 years 2 months ago
2008
IEEE
In the paper, a formulation is proposed for optimal experiment design dedicated to the identification of nonlinear systems. In particular, a recently mentioned redundancy property ...
96
Voted
WSC
1998
15 years 2 months ago
1998
For large investment projects sensitivity analysis is an important tool to determine which factors need further analysis and/or can jeopardize the future of a project. In practice...
83
Voted
AROBOTS
2004
15 years 16 days ago
2004
In this paper, we present discrete-time, nonspatial, macroscopic models able to capture the dynamics of collective aggregation experiments using groups of embodied agents endowed ...