2496 search results - page 273 / 500 » On covering by translates of a set |
181
click to vote
FQAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Controlled languages (CLs) are ambiguity-free subsets of natural languages such as English offering a good trade-off between the formal rigor of ontology and query langua...
142
click to vote
IFM
2009
Springer
16 years 1 months ago
2009
Springer
In current model-driven development approaches, software models are the primary artifacts of the development process. Therefore, assessment of their correctness is a key issue to e...
162
click to vote
NOMS
2008
IEEE
16 years 1 months ago
2008
IEEE
Large complex systems (such as Enterprise systems) are often composed of several interacting, independent components. In many such systems, although the behavior of the constituen...
152
click to vote
SCAM
2008
IEEE
16 years 1 months ago
2008
IEEE
An appropriate translation of the data model is central to any language migration effort. Finding a mapping between original and target data models may be challenging for legacy l...
175
click to vote
IROS
2007
IEEE
16 years 28 days ago
2007
IEEE
Abstract— Existing penalty-based haptic rendering approaches compute penetration depth in strictly translational sense and cannot properly take object rotation into account. We a...