941 search results - page 58 / 189 » Mathematics on the (Semantic) NET |
131
Voted
DAS
2008
Springer
15 years 2 months ago
2008
Springer
Many on-line (interactive) mathematics recognition systems allow the creation of typeset equations, normally in LaTeX, but they do not support mathematical problem solving. In thi...
107
Voted
HYBRID
2004
Springer
15 years 6 months ago
2004
Springer
In this paper, we introduce a parametric semantics for timed controllers called the Almost ASAP semantics. This semantics is a relaxation of the usual ASAP3 semantics (also called ...
106
click to vote
TCSV
2008
15 years 17 days ago
2008
This paper addresses the automatic analysis of court-net sports video content. We extract information about the players, the playing-field in a bottom-up way until we reach scene-l...
181
Voted
CALCO
2011
Springer
14 years 19 days ago
2011
Springer
Fusion is arguably the simplest way to combine modal logics. For normal modal logics with Kripke semantics, many properties such as completeness and decidability are known to trans...
94
Voted
EOR
2008
15 years 22 days ago
2008
The Cooperative Water Allocation Model (CWAM) is designed within a general mathematical programming framework for modeling equitable and efficient water allocation among competing...