251 search results - page 45 / 51 » Pure Type Systems without Explicit Contexts |
KBSE
2005
IEEE
14 years 1 months ago
2005
IEEE
Major software development standards mandate the establishment of trace links among software artifacts such as requirements, architectural elements, or source code without explici...
BMCBI
2006
13 years 7 months ago
2006
Background: Signal transduction pathways are usually modelled using classical quantitative methods, which are based on ordinary differential equations (ODEs). However, some diffic...
MMS
2008
13 years 7 months ago
2008
Authoring of multimedia content can be considered as composing media assets such as images, videos, text, and audio in time, space, and interaction into a coherent multimedia pres...
JTAER
2007
13 years 7 months ago
2007
Nowadays, organizational innovation constitutes the government challenges for providing better and more efficient services to citizens, enterprises or other public offices. E–go...
ERCIMDL
2006
Springer
13 years 11 months ago
2006
Springer
In this demo proposal, we describe our prototype application, SIERRA, which combines text-based and content-based image retrieval and allows users to link together image content of...