5477 search results - page 219 / 1096 » Contexts, Domains, and Software |
209
click to vote
CORR
1999
Springer
15 years 6 months ago
1999
Springer
The abstract mathematical theory of partial differential equations (PDEs) is formulated in terms of manifolds,scalar fields, tensors, and the like, but these algebraic structures a...
254
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
We describe EUREKA, a symbolic model checker for Linear Programs with arrays, i.e. programs where variables and array elements range over a numeric domain and expressions involve ...
194
click to vote
TCAD
2008
15 years 7 months ago
2008
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
227
click to vote
JNSM
2000
15 years 7 months ago
2000
The application of software agent technology to the management of communications' infrastructures is a challenging domain as it requires management on different time scales a...
178
click to vote
FLAIRS
2007
15 years 9 months ago
2007
In this paper, we focus on the ontological concept extraction and evaluation process from HTML documents. In order to improve this process, we propose an unsupervised hierarchical...