392 search results - page 30 / 79 » APROL: a Hybrid Language |
118
click to vote
TSMC
2010
14 years 8 months ago
2010
We describe a cognitive architecture for creating more robust intelligent systems by executing hybrids of algorithms based on different computational formalisms. The architecture ...
106
click to vote
CP
2004
Springer
15 years 7 months ago
2004
Springer
We combine mixed integer linear programming (MILP) and constraint programming (CP) to solve planning and scheduling problems. Tasks are allocated to facilities using MILP and sche...
119
click to vote
IEEESCC
2007
IEEE
15 years 8 months ago
2007
IEEE
Web rule languages with the ability to cover various types of rules have been recently emerged to make interactions between web resources and broker agents possible. The chance of...
154
click to vote
SCP
1998
15 years 1 months ago
1998
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...
125
click to vote
HYBRID
1998
Springer
15 years 6 months ago
1998
Springer
We continue investigation of languages, accepted by timed automata of Alur and Dill. In [ACM97] timed regular expressions equivalent to timed automata were introduced. Here we intr...