279 search results - page 13 / 56 » Typability in Partial Applicative Structures |
ICIP
2000
IEEE
14 years 9 months ago
2000
IEEE
Automatic labelling and identification of cerebral structure, such as cortical sulci, are useful in neurology, surgery planning, etc... In this paper, a method to detect the valle...
BMCBI
2010
13 years 7 months ago
2010
Background: A growing demand for tools to assist the building and analysis of biological networks exists in systems biology. We argue that the use of a formal approach is relevant...
ICSOC
2003
Springer
14 years 21 days ago
2003
Springer
The web-services stack of standards is designed to support the reuse and interoperation of software components on the web. A critical step in the process of developing applications...
HT
2000
ACM
13 years 12 months ago
2000
ACM
We propose a method (APHID) that assists an instructional designer to define format, structure and sequence within an instructional hypermedia application. Our method uses concept...
GECCO
2008
Springer
13 years 8 months ago
2008
Springer
Many sectors of the military are interested in Self-Organized (SO) systems because of their flexibility, versatility and economics. The military is researching and employing auto...