首页
OALib 期刊
快速投稿通道
我的图书馆
常见问题
关于我们
关注我们+
Biomedical & Life Sciences
Business & Economics
Chemistry & Materials Science
Computer Science & Communications
Engineering
Medicine & Healthcare
Physics & Mathematics
Social Sciences & Humanities
Biomedical & Life Sciences
Business & Economics
Chemistry & Materials Science
Computer Science & Communications
Engineering
Medicine & Healthcare
Physics & Mathematics
Social Sciences & Humanities
LinkedIn (OALib Group)
LinkedIn (OALib Company Page)
Facebook
Twitter
全部
标题
作者
关键词
摘要
OALib Journal期刊
ISSN: 2333-9721
费用:99美元
投递稿件
为什么选择我们?
>>
- 开源期刊
- 同行审议
- 快速出刊
- 终身存储
- 免费检索
- 免费推广
- 更多...
- 搜索引擎
Computer Science
ISSN Print:
ISSN Online:
主页:
http://arxiv.org/corr
分享:
Go
Ununfoldable Polyhedra with Convex Faces
Marshall Bern
,
Erik D. Demaine
,
David Eppstein
,
Eric Kuo
,
Andrea Mantler
,
Jack Snoeyink
Quadrilateral Meshing by Circle Packing
Marshall Bern
,
David Eppstein
Representing Scholarly Claims in Internet Digital Libraries: A Knowledge Modelling Approach
Simon Buckingham Shum
,
Enrico Motta
,
John Domingue
Extending the Stable Model Semantics with More Expressive Rules
Patrik Simons
What Next? A Dozen Information-Technology Research Goals
Jim Gray
The Sources of Certainty in Computation and Formal Systems
Michael J. O'Donnell
Semantics of Programming Languages: A Tool-Oriented Approach
Jan Heering
,
Paul Klint
On Reconfiguring Tree Linkages: Trees can Lock
Therese Biedl
,
Erik Demaine
,
Martin Demaine
,
Sylvain Lazard
,
Anna Lubiw
,
Joseph O'Rourke
,
Steve Robbins
,
Ileana Streinu
,
Godfried Toussaint
,
Sue Whitesides
One-Way Functions in Worst-Case Cryptography: Algebraic and Security Properties
A. Beygelzimer
,
L. A. Hemaspaandra
,
C. M. Homan
,
J. Rothe
On quantum and classical space-bounded processes with algebraic transition amplitudes
John Watrous
Multiparty computation unconditionally secure against Q^2 adversary structures
Adam Smith
,
Anton Stiglic
A better lower bound for quantum algorithms searching an ordered list
Andris Ambainis
ZBroker: A Query Routing Broker for Z39.50 Databases
Yong Lin
,
Jian Xu
,
Ee-Peng Lim
,
Wee-Keong Ng
KEA: Practical Automatic Keyphrase Extraction
Ian H. Witten
,
Gordon W. Paynter
,
Eibe Frank
,
Carl Gutwin
,
Craig G. Nevill-Manning
MyLibrary: A Model for Implementing a User-centered, Customizable Interface to a Library's Collection of Information Resources
Eric Lease Morgan
Visualization of Retrieved Documents using a Presentation Server
Sa-Kwang Song
,
Sung Hyon Myaeng
A Formal Framework for Linguistic Annotation
Steven Bird
,
Mark Liberman
A Flit Level Simulator for Wormhole Routing
Denvil Smith
A class of problems of NP to be worth to search an efficient solving algorithm
Anatoly D. Plotnikov
Some Remarks on the Geometry of Grammar
Marc Dymetman
An Algebraic Programming Style for Numerical Software and its Optimization
T. B. Dinesh
,
M. Haveraaen
,
J. Heering
A New Ranking Principle for Multimedia Information Retrieval
Martin Wechsler
,
Peter Schauble
A Scrollbar-based Visualization for Document Navigation
Donald Byrd
Proceedings from Critical Infrastructure: The Path Ahead (XIWT Symposium on Cross-Industry Activities for Information Infrastructure Robustness)
Barry M. Leiner
,
Ekaterina A. Drozdova
An Efficient Mean Field Approach to the Set Covering Problem
Mattias Ohlsson
,
Carsten Peterson
,
Bo S?derberg
The Alex Catalogue, A Collection of Digital Texts with Automatic Methods for Acquisition and Cataloging, User-Defined Typography, Cross-searching of Indexed Content, and a Sense of Community
Eric Lease Morgan
Quality of OCR for Degraded Text Images
Roger T. Hartley
,
Kathleen Crumpton
Content-Based Book Recommending Using Learning for Text Categorization
Raymond J. Mooney
,
Loriene Roy
Digital Library Technology for Locating and Accessing Scientific Data
Robert E. McGrath
,
Joe Futrelle
,
Ray Plante
,
Damien Guillaume
Numeration systems on a regular language
Pierre B. A. Lecomte
,
Michel Rigo
Designing SAT for HCP
Anatoly D. Plotnikov
SIMMUNE, a tool for simulating and analyzing immune system behavior
M. Meier-Schellersheim
,
G. Mack
Workflow Automation with Lotus Notes for the Governmental Administrative Information System
Saulius Maskeliunas
Quantum Bounded Query Complexity
Harry Buhrman
,
Wim van Dam
Empirically Evaluating an Adaptable Spoken Dialogue System
Diane J. Litman
,
Shimei Pan
Space-Efficient Routing Tables for Almost All Networks and the Incompressibility Method
Harry Buhrman
,
Jaap-Henk Hoepman
,
Paul Vitanyi
Perpetual Adaptation of Software to Hardware: An Extensible Architecture for Providing Code Optimization as a Central System Service
Thomas Kistler
,
Michael Franz
LuaJava - A Scripting Tool for Java
Carlos Cassino
,
Roberto Ierusalimschy
,
Noemi Rodriguez
Not Available
Not Available
The "Fodor"-FODOR fallacy bites back
Yorick Wilks
Resource Discovery in Trilogy
Franck Chevalier
,
David Harle
,
Geoffrey Smith
A Discipline of Evolutionary Programming
Paul Vitanyi
Automatic Identification of Subjects for Textual Documents in Digital Libraries
Kuang-hua Chen
Algorithms of Two-Level Parallelization for DSMC of Unsteady Flows in Molecular Gasdynamics
Alexander V. Bogdanov
,
Nick Yu. Bykov
,
Igor A. Grishin
,
Gregory O. Khanlarov
,
German A. Lukianov
,
Vladimir V. Zakharov
Mutual Search
Harry Buhrman
,
Matthew Franklin
,
Juan A. Garay
,
Jaap-Henk Hoepman
,
John Tromp
,
Paul Vitanyi
Is Word Sense Disambiguation just one more NLP task?
Yorick Wilks
Multimodal Surrogates for Video Browsing
Wei Ding
,
Gary Marchionini
,
Dagobert Soergel
Use and usability in a digital library search system
Robert K. France
,
Lucy Terry Nowell
,
Edward A. Fox
,
Rani A. Saad
,
Jianxin Zhao
Multimedia Description Framework (MDF) for Content Description of Audio/Video Documents
Michael J. Hu
,
Ye Jian
Semi-Automatic Indexing of Multilingual Documents
Ulrich Schiel
,
Ianna M. Sodre Ferreira de Souza
,
Edberto Ferneda
Go