2766 search results - page 286 / 554 » Hybridizing a Logical Framework |
202
click to vote
INAP
2001
Springer
15 years 11 months ago
2001
Springer
Mobile agent technology is an emerging technology that allows easier design, implementation, and maintenance of distributed systems. Mobility enables agents to reduce network load,...
189
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— Developers and end-users have to interface robotic systems for control and feedback. Such systems are typically co-engineered with their graphical user interfaces. In the past,...
161
click to vote
CAV
2005
Springer
16 years 6 days ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
192
click to vote
CGA
2005
15 years 6 months ago
2005
visualization to abstract data sets like network intrusion detection, recommender systems, and database query results. Although display algorithms are a critical component in the v...
166
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
In the last few years, argumentation frameworks have been successfully applied to multi agent systems. Recently, argumentation has been used to provide a framework for reasoning a...