7117 search results - page 404 / 1424 » IT Governance Frameworks as Methods |
221
click to vote
FORMATS
2004
Springer
15 years 10 months ago
2004
Springer
We discuss the modeling and verification of real-time systems using the SAL model checker. A new modeling framework based on event calendars enables dense timed systems to be descr...
179
click to vote
FGR
2006
IEEE
15 years 10 months ago
2006
IEEE
As an extension to prior work by the authors in the area of photometric normalisation for face verification, we apply these algorithms in a component-based framework. In particula...
177
click to vote
ACL
2004
15 years 8 months ago
2004
We describe a method for enriching the output of a parser with information available in a corpus. The method is based on graph rewriting using memorybased learning, applied to dep...
178
click to vote
CG
2006
Springer
15 years 6 months ago
2006
Springer
This paper presents a method to simulate the melting and flowing phenomena with different materials in multiple phases. In such a multiphase environment, solid objects are melted ...
176
click to vote
IJON
2006
15 years 6 months ago
2006
We present a framework for efficient extrapolation of reduced rank approximations, graph kernels, and locally linear embeddings (LLE) to unseen data. We also present a principled ...