5630 search results - page 859 / 1126 » Computability in Specification |
183
click to vote
AAAI
2010
15 years 7 months ago
2010
Diffusion processes taking place in social networks are used to model a number of phenomena, such as the spread of human or computer viruses, and the adoption of products in `vira...
173
click to vote
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
There are B2B relationships that presume cooperation in contract enactment. This issue should be taken into account when modeling, for computational handling, contractual commitmen...
179
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
The Intelligent Decentralised Energy-Aware Systems (iDEaS) project at the University of Southampton (see www.ideasproject.info) is developing and demonstrating the application of ...
142
click to vote
CSL
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Recent analysis of sequential algorithms resulted in their axiomatization and in a representation theorem stating that, for any sealgorithm, there is an abstract state ma...
161
click to vote
CLEF
2009
Springer
15 years 7 months ago
2009
Springer
This paper reports on the construction and testing of a new Question Answering (QA) system, implemented as an workflow which builds on several web services developed at the Resear...