29172 search results - page 245 / 5835 » Modeling Systems in CLP |
170
click to vote
TII
2008
15 years 6 months ago
2008
Embedded control systems are often implemented in small microprocessors enabled with real-time technology. In this context, control laws are often designed according to discrete-ti...
190
click to vote
ICDM
2009
IEEE
16 years 1 months ago
2009
IEEE
—Collaborative tagging systems with user generated content have become a fundamental element of websites such as Delicious, Flickr or CiteULike. By sharing common knowledge, mass...
188
click to vote
SIPS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we present a bio-inspired unified model to improve the recognition accuracy of character recognition problems for CAPTCHA (Completely Automated Public Turing Test t...
163
click to vote
GECCO
2007
Springer
16 years 24 days ago
2007
Springer
In this paper, we introduce a formal-language model for explicitly formalizing agent-environment interaction in a multiagent systems (MAS) framework: Conversational Grammar System...
164
click to vote
ATAL
2005
Springer
16 years 5 days ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...