2492 search results - page 298 / 499 » An Integrated Rule Modeling Framework |
187
click to vote
EPIA
2009
Springer
16 years 1 months ago
2009
Springer
Logic Programming Update Languages were proposed as an extension of logic programming that allows modeling the dynamics of knowledge bases where both extensional (facts) and intent...
128
click to vote
ASPDAC
2006
ACM
16 years 14 days ago
2006
ACM
—On optimizing circuit trajectories, i.e. continuous paths of circuit parameters, the paper presents an auxiliary network approach, which utilizes Pontryagin’s Minimum Principl...
129
click to vote
CIG
2005
IEEE
16 years 3 days ago
2005
IEEE
AbstractWe describe Utile Coordination, an algorithm that allows a multiagent system to learn where and how to coordinate. The method starts with uncoordinated learners and maintai...
158
click to vote
CAV
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
171
click to vote
TSD
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper presents a brand-new Slovak text-to-speech system. It was developed within the framework of ARTIC system (primarily designed to synthesize Czech speech) with r...