5639 search results - page 727 / 1128 » Timed Abstract Non-interference |
131
Voted
MOR
2002
15 years 4 months ago
2002
ngly better objective function value until an optimal solution is reached. From an abstract point of view, an augmentation problem is solved in each iteration. That is, given a fea...
160
click to vote
SIAMCOMP
1998
15 years 4 months ago
1998
Abstract. String matching is rich with a variety of algorithmic tools. In contrast, multidimensional matching has had a rather sparse set of techniques. This paper presents a new a...
156
click to vote
TELSYS
2002
15 years 4 months ago
2002
Abstract. In the micro-cell-based PCS networks, due to the high user mobility, handoffs occur more frequently. Hence, the classical assumptions, such as the exponential assumptions...
130
click to vote
REFSQ
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. [Context and motivation] Natural language is the main representation means of industrial requirements documents, which implies that requirements documents are inherently ...
143
click to vote
TVCG
2010
15 years 3 months ago
2010
— While a number of information visualization software frameworks exist, creating new visualizations, especially those that involve novel visualization metaphors, interaction tec...