7892 search results - page 333 / 1579 » Programming with Models |
103
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Grothendieck inequalities are fundamental inequalities which are frequently used in many areas of mathematics and computer science. They can be interpreted as upper bounds for the ...
111
click to vote
JUCS
2007
15 years 2 months ago
2007
: Most automated reasoning tasks with practical applications can be automatically reformulated into a constraint solving task. A constraint programming platform can thus act as a u...
157
click to vote
CL
2000
Springer
15 years 2 months ago
2000
Springer
Associative Language Descriptions are a recent grammar model, theoretically less powerful than Context Free grammars, but adequate for describing the syntax of programming languag...
130
Voted
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
This work focuses on optimal routing for two camera-equipped UAVs cooperatively tracking a single target moving on the ground. The UAVs are small fixed-wing aircraft cruising at a ...
143
click to vote
STOC
2012
ACM
13 years 4 months ago
2012
ACM
This work deals with the power of linear algebra in the context of multilinear computation. By linear algebra we mean algebraic branching programs (ABPs) which are known to be com...