2539 search results - page 74 / 508 » Semantic frameworks for e-government |
63
Voted
COLING
2008
15 years 1 months ago
2008
The paper offers a new type of approach to the semantic phenomenon of adverbial aspect shift within the framework of finitestate temporal semantics. The heart of the proposal is a...
136
click to vote
DILS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Ecologists spend considerable effort integrating heterogeneous data for statistical analyses and simulations, for example, to run and test predictive models. Our research...
100
click to vote
SEFM
2006
IEEE
15 years 5 months ago
2006
IEEE
An optimization can be specified as sequential compositions of predefined transformation primitives. For each primitive, we can define soundness conditions which guarantee that th...
PDP
2003
IEEE
15 years 5 months ago
2003
IEEE
File I/O data is interpreted by high performance parallel/distributed applications mostly as a sequence of arbitrary bits. This leads to the situation where data is ’volatile’...
116
click to vote
FUIN
2006
14 years 12 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...