3358 search results - page 318 / 672 » Dynamic Description Logics |
166
click to vote
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
In the light of evidence that Haskell programs compiled by GHC exhibit large numbers of mispredicted branches on modern processors, we re-examine the "tagless" aspect of...
201
click to vote
FASE
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Software architecture constitutes a promising approach to the development of large-scale distributed systems, but architecture description languages (ADLs) and their asso...
159
click to vote
B
1998
Springer
15 years 11 months ago
1998
Springer
In B, the expression of dynamic constraints is notoriously missing. In this paper, we make various proposals for introducing them. They all express, in di erent complementary ways,...
220
click to vote
IJCAI
1989
15 years 8 months ago
1989
We are developing a new paradigm for a world model construction system which interprets a scene and builds a world model for a mobile robot using dynamic semantic constraints. The...
185
click to vote
IJON
2008
15 years 6 months ago
2008
Various alternatives have been developed to improve the Winner-Takes-All (WTA) mechanism in vector quantization, including the Neural Gas (NG). However, the behavior of these algo...