2853 search results - page 538 / 571 » On Coherence in Computer Algebra |
ATAL
2006
Springer
14 years 18 days ago
2006
Springer
This paper reports on the development of a utility-based mechanism for managing sensing and communication in cooperative multi-sensor networks. The specific application considered...
ICCD
2000
IEEE
14 years 13 days ago
2000
IEEE
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
BILDMED
2007
13 years 10 months ago
2007
Abstract. A major problem of segmentation of magnetic resonance images is that intensities are not standardized like in computed tomography. This article deals with the correction ...
EJC
2008
13 years 10 months ago
2008
The notion of a fragment was coined by Montague 1974 to illustrate the formal handling of certain puzzles, such as de dicto/de re, in a truth-conditional semantics for natural lan...
SERVICES
2008
13 years 10 months ago
2008
Scientific workflows in Life Sciences are usually complex, and use many online databases, analysis tools, publication repositories and customized computation intensive desktop sof...