2314 search results - page 376 / 463 » Monoids over domains |
105
click to vote
CICLING
2003
Springer
15 years 7 months ago
2003
Springer
In setting up a formal system to specify a grammar formalism, the conventional (mathematical) wisdom is to start with primitives (basic primitive structures) as simple as possible...
109
click to vote
ICS
2001
Tsinghua U.
15 years 6 months ago
2001
Tsinghua U.
At Rice University, we have undertaken a project to construct a framework for generating high-level problem solving languages that can achieve high performance on a variety of pla...
127
click to vote
LSSC
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Air pollution models can efficiently be used in different environmental studies. The atmosphere is the most dynamic component of the environment, where the pollutants ca...
130
click to vote
DCC
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper contains two contributions to very-low-bitrate video coding. First, we show that in contrast to common practice incremental techniques for rate-distortion optimization ...
126
click to vote
AGENTS
2000
Springer
15 years 6 months ago
2000
Springer
Multi-agent teamwork is critical in a large number of agent applications, including training, education, virtual enterprises and collective robotics. Tools that can help humans an...