3239 search results - page 320 / 648 » A Logical Process Calculus |
150
click to vote
FPGA
2009
ACM
15 years 11 months ago
2009
ACM
Via-programmable gate arrays (VPGAs) offer a middle ground between application specific integrated circuits and field programmable gate arrays in terms of flexibility, manufac...
151
click to vote
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
Interactions between agents in an open system such as the Internet require a significant degree of flexibility. A crucial aspect of the development of such methods is the notion o...
108
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In human-like reasoning it often happens that different conditions, partially alternative and hierarchically structured, are mentally grouped in order to derive some conc...
164
click to vote
ISSA
2004
15 years 5 months ago
2004
Web Services technology enables organisations to exploit software as a service. Services are accessed by method invocations. Method interfaces are described and published, and may...
140
click to vote
AI
2011
Springer
14 years 11 months ago
2011
Springer
Logical filtering is the process of updating a belief state (set of possible world states) after a sequence of executed actions and perceived observations. In general, it is intr...