3799 search results - page 714 / 760 » An Engineering Approach to Formal Methods |
101
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
PLGA (poly(lactic-co-glycolic acid)) is one of the most used biodegradable and biocompatible materials. Nanostructured PLGA even has great application potentials in tissue engineer...
130
click to vote
CGF
2006
15 years 4 months ago
2006
Discrete curvature and shape operators, which capture complete information about directional curvatures at a point, are essential in a variety of applications: simulation of defor...
166
click to vote
IJSI
2008
15 years 4 months ago
2008
This paper deals with an acronym/definition extraction approach from textual data (corpora) and the disambiguation of these definitions (or expansions). Both steps of our global pr...
124
click to vote
EJIS
2007
15 years 4 months ago
2007
Model-Driven Architecture (MDA) supports the transformation from reusable models to executable software. Business representations, however, cannot be fully and explicitly represen...
140
click to vote
SIGIR
2008
ACM
15 years 3 months ago
2008
ACM
Web pages, like people, are often known by others in a variety of contexts. When those contexts are sufficiently distinct, a page's importance may be better represented by mu...