33 search results - page 3 / 7 » New Domains for Applied Quantifier Elimination |
EDCC
2008
Springer
13 years 10 months ago
2008
Springer
In avionics domain, the software applications grew to millions of source lines of code representing important development expenditures. To cut the costs, the avionics suppliers ar...
MICRO
2000
IEEE
14 years 27 days ago
2000
IEEE
Register promotion is an optimization that allocates a value to a register for a region of its lifetime where it is provably not aliased. Conventional compiler analysis cannot alw...
VLDB
2009
ACM
14 years 8 months ago
2009
ACM
We address the problem of providing privacypreserving search over distributed accesscontrolled content. Indexed documents can be easily reconstructed from conventional (inverted) ...
IJCNLP
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We present a new method for computing semantic relatedness of concepts. The method relies solely on the structure of a conceptual network and eliminates the need for perf...
ECAI
2010
Springer
13 years 9 months ago
2010
Springer
It has been shown recently that deterministic conformant planning problems can be translated into classical problems that can be solved by off-the-shelf classical planners. In this...