4166 search results - page 69 / 834 » Automating the constraining process |
151
click to vote
CSL
1999
Springer
15 years 10 months ago
1999
Springer
We study the following problem: Given a transition system T and its quotient T/∼ under an equivalence ∼, which are the sets L, L′ of Hennessy-Milner formulae such that: if ...
149
click to vote
RR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We illustrate the potential of conditional hedge transformations in Web-related applications on the example of PρLog: an extension of logic programming with advanced rul...
148
click to vote
ICC
2009
IEEE
16 years 27 days ago
2009
IEEE
Abstract— It is known that next generation mobile comunications systems will most likely employ multi-cell signal processing often referred to as network MIMO - in order to impro...
182
click to vote
VLDB
2001
ACM
15 years 10 months ago
2001
ACM
Constrained gradient analysis (similar to the “cubegrade” problem posed by Imielinski, et al. [9]) is to extract pairs of similar cell characteristics associated with big chan...
156
click to vote
VISUALIZATION
1998
IEEE
15 years 10 months ago
1998
IEEE
We propose a general paradigm for computing optimal coordinate frame fields that may be exploited to visualize curves and surfaces. Parallel-transport framings, which work well fo...