4418 search results - page 178 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
150
click to vote
JAR
1998
15 years 4 months ago
1998
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
158
click to vote
HUC
1999
Springer
15 years 9 months ago
1999
Springer
In this paper a reconfigurable systems-architecture in combination with a QoS driven operating system is introduced that can deal with the inherent dynamics of future mobile system...
166
click to vote
ML
2007
ACM
15 years 4 months ago
2007
ACM
We offer a new formal criterion for agent-centric learning in multi-agent systems, that is, learning that maximizes one’s rewards in the presence of other agents who might also...
177
click to vote
AGENTCL
2003
Springer
15 years 10 months ago
2003
Springer
We propose group communication for agent coordination within “active rooms” and other pervasive computing scenarios featuring strict real-time requirements, inherently unrelia...
143
click to vote
ACL
2006
15 years 6 months ago
2006
Obtaining high-quality machine translations is still a long way off. A postediting phase is required to improve the output of a machine translation system. An alternative is the s...