Sciweavers

421 search results - page 69 / 85
» The integration of learning object repositories and learning...
Sort
View
SIGSOFT
2008
ACM
14 years 8 months ago
Alchemy: transmuting base alloy specifications into implementations
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...
Shriram Krishnamurthi, Kathi Fisler, Daniel J. Dou...
SPLC
2008
13 years 9 months ago
Enabling Verifiable Conformance for Product Lines
NASA is, with the rest of industry, turning to product-line engineering to reduce costs and improve quality by effectively managing reuse. Experience in industry has shown that it...
Robyn R. Lutz
CATE
2004
138views Education» more  CATE 2004»
13 years 9 months ago
A Web Portal for Open-Source Synchronous Distance Education
Network EducationWare (NEW) is an integrated collection of open-source software for synchronous Internet communication, where a class is simultaneously taught to local students an...
J. Mark Pullen, Priscilla M. McAndrews
VISUAL
1999
Springer
13 years 11 months ago
Genetic Algorithm for Weights Assignment in Dissimilarity Function for Trademark Retrieval
Abstract. Trademark image retrieval is becoming an important application for logo registry, veri cation, and design. There are two major problems about the current approaches to tr...
David Yuk-Ming Chan, Irwin King
LREC
2008
94views Education» more  LREC 2008»
13 years 9 months ago
LX-Service: Web Services of Language Technology for Portuguese
In the present paper we report on the development of a cluster of web services of language technology for Portuguese that we named as LXService. These web services permit the dire...
António Branco, Francisco Costa, Pedro Mart...