21342 search results - page 3522 / 4269 » A Structured Language Model |
187
click to vote
FASE
2005
Springer
16 years 22 days ago
2005
Springer
Model-checking is becoming an accepted technique for debugging hardware and software systems. Debugging is based on the “Check / Analyze / Fix” loop: check the system against a...
173
click to vote
GECCO
2005
Springer
16 years 22 days ago
2005
Springer
Feature extraction is a process that extracts salient features from observed variables. It is considered a promising alternative to overcome the problems of weight and structure o...
196
click to vote
HPCC
2005
Springer
16 years 22 days ago
2005
Springer
In this paper a new and powerful computer simulation capability for the characterization of carbonaceous nanoparticle assemblies across multiple, connected scales, starting from th...
249
click to vote
ICCS
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. Morphisms constitute a general tool for modelling complex relationships between mathematical objects in a disciplined fashion. In Formal Concept Analysis (FCA), morphisms...
196
click to vote
ICESS
2005
Springer
16 years 21 days ago
2005
Springer
Complexity of software systems has significantly grown with social dependence on computer system, especially for mobile and internet. So we present component-based communication pr...