531 search results - page 50 / 107 » An Argumentation-Based Approach for Practical Reasoning |
120
Voted
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we present an alternative approach to interprocedurally g linear inequality relations. We propose an abstraction of the effects of procedures through convex sets of t...
128
Voted
CSCW
2006
ACM
15 years 9 months ago
2006
ACM
Media sharing over mobile devices is quickly becoming a common practice, used to support a variety of social processes. Most existing systems employ a model of sharing that treats...
131
Voted
CAV
2004
Springer
15 years 9 months ago
2004
Springer
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...
159
Voted
ICCS
2004
Springer
15 years 9 months ago
2004
Springer
In the present paper routing and wavelength assignment (RWA) in optical WDM networks is discussed. Previous techniques on based on the integer linear programming and graph coloring...
123
Voted
VOSS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Randomization is of paramount importance in practical applications and randomized algorithms are used widely, for example in co-ordinating distributed computer networks, ...