• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 85,892
Next 10 →

TOWARDS AN EUROPEAN CERTIFICATION OF COMPUTER SCIENCE UNIVERSITY CURRICULA

by Agostino Cortesi, Università Ca, Foscari Venezia, Enrico Nardelli
"... The paper describes the certification mark promoted by the Italian Association of Computer Science University Professors (GRIN) for undergraduate and graduate degree programs in Computer Science. The certification process yields a system of comparable and transparent curricula that enables the compa ..."
Abstract - Add to MetaCart
The paper describes the certification mark promoted by the Italian Association of Computer Science University Professors (GRIN) for undergraduate and graduate degree programs in Computer Science. The certification process yields a system of comparable and transparent curricula that enables

THE ITALIAN CERTIFICATION OF COMPUTER SCIENCE UNIVERSITY CURRICULA

by Agostino Cortesi, Università Ca, Foscari Venezia, Enrico Nardelli
"... The paper describes the certification mark promoted by the Italian Association of Computer Science University Professors (GRIN) for undergraduate and graduate degree programs in Computer Science. The certification process yields a system of comparable and transparent curricula that facilitates stude ..."
Abstract - Add to MetaCart
The paper describes the certification mark promoted by the Italian Association of Computer Science University Professors (GRIN) for undergraduate and graduate degree programs in Computer Science. The certification process yields a system of comparable and transparent curricula that facilitates

Department of Computer Sciences, University of Tampere,

by Polle T. Zellweger, Reviewers Dr. Steve Jones, Professor Samuel Kaski , 2005
"... Information in the Web is typically found with the help of a Web search engine. For instance, Google has been reported to index over eight billion Web pages and to process over 200 million queries a day. Information is available, but users express their information need with very few query words, ty ..."
Abstract - Add to MetaCart
Information in the Web is typically found with the help of a Web search engine. For instance, Google has been reported to index over eight billion Web pages and to process over 200 million queries a day. Information is available, but users express their information need with very few query words, typically with one or two. The task of finding relevant information from a set of 8 billion documents with a cue of just two words is a tremendous challenge. Search engines perform incredibly well with sophisticated result ranking methods, but there are cases when the result ranking is not appropriate. For example, undirected informational searches where a broad understanding about a topic is sought or queries with ambiguous terms are such cases. Our approach is to enhance users ’ result access process with automatically formed filtering categories. Categories provide an understandable overview of the results and make accessing of relevant results easy. The

Electronics and Computer Science, University of Southampton,

by P. Sinclair, P. Lewis, K. Martinez, So Bj
"... In this paper, we describe research into the use of ontologies to integrate access to cultural heritage and photographic archives. The use of the CIDOC CRM and CRM Core ontologies are described together with the metadata mapping methodology. A system integrating data from four content providers will ..."
Abstract - Add to MetaCart
In this paper, we describe research into the use of ontologies to integrate access to cultural heritage and photographic archives. The use of the CIDOC CRM and CRM Core ontologies are described together with the metadata mapping methodology. A system integrating data from four content providers will be demonstrated.

Department of Computer Science. University of York,

by Simon Burton, John Clark, Andy Galloway, John Mcdermid, Heslington York
"... Automated V&V for high integrity systems, a targeted formal methods approach ..."
Abstract - Add to MetaCart
Automated V&V for high integrity systems, a targeted formal methods approach

Department of Computing Science, University of Glasgow,

by Iain Oliphant, Lilybank Gardens
"... Network protocols are often implemented in languages such as C which provide high efficiency but are difficult to maintain or extend. This project aims to show that by using a high-level language to develop a network protocol an implementation is more readable and modular and therefore is more maint ..."
Abstract - Add to MetaCart
Network protocols are often implemented in languages such as C which provide high efficiency but are difficult to maintain or extend. This project aims to show that by using a high-level language to develop a network protocol an implementation is more readable and modular and therefore is more maintainable and easier to extend. To demonstrate this an implementation of the Transmission Control Protocol (TCP) has been created in the high-level language Scala. TCP is a highly complex transport level protocol that is generally implemented in C inside operating system kernels. Scala is a relatively new programming language which allows programmers to code in either the functional or object-oriented style, or a combination of the two. The implementation relies heavily on the Actors model of concurrency, that Scala provides, to create a highly concurrent TCP. Scala offers a rich type system which has been utilised to represent the structures of TCP in a more accessible way and in a manner that provides encapsulation at each layer, improving the overall understandability of the system. This implementation is compared with the existing Linux and FreeBSD implementations

Electronics and Computer Science, University of Southampton,

by Simon Goodall, Paul Lewis, Kirk Martinez, So Bj
"... Abstract. The development and use of content-based retrieval techniques for 3-D models is a relatively new departure in multimedia retrieval. We have extended our existing multimedia museum information system to support content-, metadata- and concept-based retrieval of 3-D models of museum artifact ..."
Abstract - Add to MetaCart
Abstract. The development and use of content-based retrieval techniques for 3-D models is a relatively new departure in multimedia retrieval. We have extended our existing multimedia museum information system to support content-, metadata- and concept-based retrieval of 3-D models of museum artifacts and in this paper we describe a “classifier agent ” to automatically assign associations between 3-D artifacts and concepts and metadata stored in a domain ontology. The context of the classifier agent is described, together with an overview of its architecture. Selecting appropriate parameters for the agent is an important activity and a comparison is made between manually selected parameters and the results of an automatic technique to determine “optimal ” settings. 1

School of Computing Science, University of Newcastle upon Tyne

by Paul Arkley, Paul Mason, Steve Riddle, Ne Ru
"... Research into traceability at the University of Newcastle upon Tyne has concentrated on a framework supporting all aspects of the lifecycle, as a vehicle for recording, analysing and tracing development and assessment artefacts. This framework is focussed on the recording of design rationale, over a ..."
Abstract - Add to MetaCart
Research into traceability at the University of Newcastle upon Tyne has concentrated on a framework supporting all aspects of the lifecycle, as a vehicle for recording, analysing and tracing development and assessment artefacts. This framework is focussed on the recording of design rationale, over

PH.D. IN COMPUTER SCIENCE, UNIVERSITY OF VENICE

by Damiano Macedonio
"... In present-day computing environments, a user often employs programs which are sent or fetched from different sites to achieve his/her goals, either privately or in an organization. Such programs may be run as a code to do a simple calculation task or as interactive parallel programs doing IO operat ..."
Abstract - Add to MetaCart
In present-day computing environments, a user often employs programs which are sent or fetched from different sites to achieve his/her goals, either privately or in an organization. Such programs may be run as a code to do a simple calculation task or as interactive parallel programs doing IO

Computer Science University of Twente Interim Research assessment

by unknown authors , 2007
"... ii ..."
Abstract - Add to MetaCart
Abstract not found
Next 10 →
Results 1 - 10 of 85,892
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University