130 search results - page 17 / 26 » Rationally Additive Semirings |
ATAL
2007
Springer
14 years 27 days ago
2007
Springer
Reasoning about agents that we observe in the world is challenging. Our available information is often limited to observations of the agent’s external behavior in the past and p...
SIGECOM
2005
ACM
14 years 8 days ago
2005
ACM
In multi-hop networks, the actions taken by individual intermediate nodes are typically hidden from the communicating endpoints; all the endpoints can observe is whether or not th...
ISSAC
2004
Springer
14 years 2 days ago
2004
Springer
We present a streamlined and refined version of Karr’s summation algorithm. Karr’s original approach constructively decides the telescoping problem in ΠΣ-fields, a very ge...
SPIN
2004
Springer
14 years 2 days ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
INFOVIS
2002
IEEE
13 years 11 months ago
2002
IEEE
In this paper we present several extensions to the wellknown InfoViz technique of parallel coordinates, mainly concentrating on brushing and focus+context visualization. First, we...