Sciweavers

7961 search results - page 328 / 1593
» Input-Output Model Programs
Sort
View
CORR
2010
Springer
88views Education» more  CORR 2010»
15 years 4 months ago
Grothendieck inequalities for semidefinite programs with rank constraint
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 ...
Jop Briët, Fernando Mário de Oliveira ...
JUCS
2007
129views more  JUCS 2007»
15 years 4 months ago
Constraint Programming Architectures: Review and a New Proposal
: 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...
Jacques Robin, Jairson Vitorino, Armin Wolf
CG
2000
Springer
15 years 4 months ago
Drawing on the Back of an Envelope: a framework for interacting with application programs by freehand drawing
The Back of an Envelope project demonstrates how a calligraphic interface (one that employs a pen or stylus to input freehand drawing marks) can be used in a wide variety of domai...
Mark D. Gross, Ellen Yi-Luen Do
CL
2000
Springer
15 years 4 months ago
Associative definition of programming languages
Associative Language Descriptions are a recent grammar model, theoretically less powerful than Context Free grammars, but adequate for describing the syntax of programming languag...
Stefano Crespi-Reghizzi, Matteo Pradella, Pierluig...
CDC
2010
IEEE
144views Control Systems» more  CDC 2010»
14 years 11 months ago
Optimal UAV coordination for target tracking using dynamic programming
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 ...
Steven A. P. Quintero, Francesco Papi, Daniel J. K...