7335 search results - page 1198 / 1467 » Scene Based Reasoning |
197
click to vote
LOPSTR
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. It has often been observed that a point-free style of programvides a more abstract view on programs. We aim to use the gain in abstraction to obtain a denotational semant...
180
click to vote
LPNMR
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. The recently proposed notion of an elementary set yielded a refinement of the theorem on loop formulas, telling us that the stable models of a disjunctive logic program ...
187
click to vote
OTM
2007
Springer
16 years 21 days ago
2007
Springer
Semantic Business Process Management (SBPM) has been proposed as an extension of BPM with Semantic Web and Semantic Web Services (SWS) technologies in order to increase and enhance...
162
click to vote
PDCAT
2007
Springer
16 years 21 days ago
2007
Springer
Any simulation-based evaluation of an interconnection network proposal requires a good characterization of the workload. Synthetic traffic patterns based on independent traffic so...
155
click to vote
POLICY
2007
Springer
16 years 21 days ago
2007
Springer
The richness of today’s electronic communications mirrors physical world: activities such as shopping, business and scientific collaboration are conducted online. Current intera...