2086 search results - page 34 / 418 » Mathematical Theory Exploration |
163
click to vote
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
We describe a technique and a tool called Qex for generating input tables and parameter values for a given parameterized SQL query. The evaluation semantics of an SQL query is tra...
124
click to vote
MKM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. There are many styles for the narrative structure of a mathematical document. Each mathematician has its own conventions and traditions about labeling portions of texts (...
156
click to vote
JAIR
2010
15 years 1 months ago
2010
Decentralized planning in uncertain environments is a complex task generally dealt with by using a decision-theoretic approach, mainly through the framework of Decentralized Parti...
127
Voted
CHI
2011
ACM
14 years 7 months ago
2011
ACM
We introduce an embodied-interaction instructional design, the Mathematical Imagery Trainer (MIT), for helping young students develop grounded understanding of proportional equiva...
107
Voted
PADL
2010
Springer
16 years 7 days ago
2010
Springer
Abstract. Mathematical programs (MPs) are a class of constrained optimization problems that include linear, mixed-integer, and disjunctive programs. Strategies for solving MPs rely...