2830 search results - page 257 / 566 » No Science without Semantics |
129
click to vote
GI
2004
Springer
15 years 10 months ago
2004
Springer
: Most game interfaces restrict the player to a place in front of the computer screen. In mixed reality applications the point of interaction seems to be moving away from technical...
136
click to vote
GI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract: A key idea of architecture is the description of components and their connections. This information can be extended to define the horizontal and vertical distribution of...
149
click to vote
RTA
2004
Springer
15 years 9 months ago
2004
Springer
Restrictions of rewriting can eventually achieve termination by pruning all infinite rewrite sequences issued from every term. Contextsensitive rewriting (CSR) is an example of su...
142
click to vote
SOFSEM
2004
Springer
15 years 9 months ago
2004
Springer
Recent studies show that state-space dynamics of randomly initialized recurrent neural network (RNN) has interesting and potentially useful properties even without training. More p...
154
click to vote
SPIN
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...