5451 search results - page 434 / 1091 » Typed Operational Semantics |
163
click to vote
ICPPW
2006
IEEE
16 years 23 days ago
2006
IEEE
In retargeting loop-based code for multimedia instruction set extensions, a critical issue is that vector data types of mixed precision within a loop body complicate the paralleli...
152
click to vote
TAPSOFT
1997
Springer
15 years 11 months ago
1997
Springer
The SML-like module systems are small typed languages of their own. As is, one would expect a proof of their soundness following from a proof of subject reduction. Unfortunately, t...
154
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
In the literature on agent systems, the proactive behavior of agents is often modeled in terms of goals that the agents pursue. We review a number of commonly-used existing goal t...
151
click to vote
LREC
2010
15 years 8 months ago
2010
We are in the process of creating a multi-representational and multi-layered treebank for Hindi/Urdu (Palmer et al., 2009), which has three main layers: dependency structure, pred...
156
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
In many applications, tasks can be delegated to intelligent agents. In order to carry out a task, an agent should reason about what types of resources the task requires. However, ...