8701 search results - page 1378 / 1741 » XML-Based Feature Modelling |
162
click to vote
EMSOFT
2006
Springer
15 years 8 months ago
2006
Springer
Concurrent programming languages should be a good fit for embedded systems because they match the intrinsic parallelism of their architectures and environments. Unfortunately, typ...
153
click to vote
ESORICS
2006
Springer
15 years 8 months ago
2006
Springer
IDS research still needs to strengthen mathematical foundations and theoretic guidelines. In this paper, we build a formal framework, based on information theory, for analyzing and...
175
click to vote
FORMATS
2006
Springer
15 years 8 months ago
2006
Springer
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...
159
click to vote
3DIM
2001
IEEE
15 years 8 months ago
2001
IEEE
The ICP (Iterative Closest Point) algorithm is widely used for geometric alignment of three-dimensional models when an initial estimate of the relative pose is known. Many variant...
136
click to vote
ER
2000
Springer
15 years 8 months ago
2000
Springer
The need for descriptive information, i.e., metadata, about Web resources has been recognized in several application contexts (e.g., digital libraries, portals). The Resource Descr...