640 search results - page 33 / 128 » Knowledge-Based Automation of a Design Method for Concurrent... |
274
Voted
SPIN
2012
Springer
13 years 5 months ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
121
Voted
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
This paper studies a logical framework for automated negotiation between two agents. We suppose an agent who has a knowledge base represented by a logic program. Then, we introduc...
110
Voted
USENIX
2003
15 years 4 months ago
2003
Often, increased security comes at the expense of user convenience, performance, or compatibility with other systems. The right level of security depends on specific site and use...
153
Voted
AMTA
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Existing automated MT evaluation methods often require expert human translations. These are produced for every language pair evaluated and, due to this expense, subsequen...
101
Voted
ICRA
1998
IEEE
15 years 7 months ago
1998
IEEE
This paper presents a class of fundamental control policies suitable for use in a novel method for designing and specifying the dynamic motion of robotic systems. Through recourse...