1636 search results - page 101 / 328 » Reasoning About Quantum Systems |
169
click to vote
FOSSACS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. As part of ongoing work on evaluating Milner's bigraphical reactive systems, we investigate bigraphical models of context-aware systems, a facet of ubiquitous comput...
164
click to vote
ICFEM
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. On the one hand, modal specifications are classic, convenient, and expressive mathematical objects to represent interfaces of component-based systems. On the other hand, ...
152
click to vote
FLAIRS
2000
15 years 7 months ago
2000
Traditional benchmarking methods for information retrieval (IR) are based on experimental performance evaluation. Although the metrics precision and recall can measure the perform...
132
click to vote
ILP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. It is well known by Inductive Logic Programming (ILP) practioners that ILP systems usually take a long time to find valuable models (theories). The problem is specially ...
184
click to vote
CAEPIA
2003
Springer
15 years 11 months ago
2003
Springer
The development of software systems is a complex task that requires support techniques to guide the process and solve inconsistencies in its . In the agent paradigm, the use of soc...