Computer Science

OALib Journal期刊
ISSN: 2333-9721
费用：99美元

投递稿件

为什么选择我们？ >>

- 开源期刊

- 同行审议

- 快速出刊

- 终身存储

- 免费检索

- 免费推广

- 更多...

- 搜索引擎

Computer Science

ISSN Print:

ISSN Online:

主页: http://arxiv.org/corr

A Comparison of the XTAG and CLE Grammars for English

Beth Ann Hockey,Manny Rayner,Frankie James

Turning Speech Into Scripts

Manny Rayner,Beth Ann Hockey,Frankie James

Interaction in Quantum Communication Complexity

Ashwin Nayak,Amnon Ta-Shma,David Zuckerman

Computational Complexity and Phase Transitions

Gabriel Istrate

Connectivity Compression for Irregular Quadrilateral Meshes

Davis King,Jarek Rossignac,Andrzej Szymczak

Systematic Performance Evaluation of Multipoint Protocols

Ahmed Helmy,Sandeep Gupta,Deborah Estrin,Alberto Cerpa,Yan Yu

3-Coloring in Time O(1.3289^n)

Richard Beigel,David Eppstein

A Decision-Theoretic Approach to Resource Allocation in Wireless Multimedia Networks

Zygmunt Haas,Joseph Y. Halpern,Li Li,Stephen B. Wicker

A Real-Time Novelty Detector for a Mobile Robot

Stephen Marsland,Ulrich Nehmzow,Jonathan Shapiro

Dialogue Act Modeling for Automatic Tagging and Recognition of Conversational Speech

A. Stolcke,K. Ries,N. Coccaro,E. Shriberg,R. Bates,D. Jurafsky,P. Taylor,R. Martin,C. Van Ess-Dykema,M. Meteer

Prosody-Based Automatic Segmentation of Speech into Sentences and Topics

E. Shriberg,A. Stolcke,D. Hakkani-Tur,G. Tur

Approximation and Exactness in Finite State Optimality Theory

Dale Gerdemann,Gertjan van Noord

On the Development of the Intersection of a Plane with a Polytope

Joseph O'Rourke

Security Policy Consistency

Carlos Ribeiro,Andre Zuquete,Paulo Ferreira,Paulo Guedes

Applying Constraint Handling Rules to HPSG

Gerald Penn

Efficient cache use for stencil operations on structured discretization grids

Michael A. Frumkin,Rob F. Van der Wijngaart

The Quantum Complexity of Set Membership

Jaikumar Radhakrishnan,Pranab Sen,S. Venkatesh

Mapping WordNets Using Structural Information

J. Daude,L. Padro,G. Rigau

PushPush and Push-1 are NP-hard in 2D

Erik D. Demaine,Martin L. Demaine,Joseph O'Rourke

Constraint Exploration and Envelope of Simulation Trajectories

Oswaldo Teran,Bruce Edmonds,Steve Wallis

Brainstorm/J: a Java Framework for Intelligent Agents

Alejandro Zunino,Analia Amandi

Modal Logics for Topological Spaces

Konstantinos Georgatos

Entrenchment Relations: A Uniform Approach to Nonmonotonicity

Konstantinos Georgatos

Polynomial-time Computation via Local Inference Relations

Robert Givan,David McAllester

Knowledge on Treelike Spaces

Konstantinos Georgatos

Naive Bayes and Exemplar-Based approaches to Word Sense Disambiguation Revisited

Gerard Escudero,Lluis Marquez,German Rigau

Using Learning-based Filters to Detect Rule-based Filtering Obsolescence

Francis Wolinski,Frantz Vichot,Mathieu Stricker

Structured Language Modeling for Speech Recognition

Ciprian Chelba,Frederick Jelinek

Compositionality, Synonymy, and the Systematic Representation of Meaning

Shalom Lappin,Wlodek Zadrozny

A Real World Implementation of Answer Extraction

D. Molla,J. Berri,M. Hess

Bezier Curves Intersection Using Relief Perspective

Radoslav Hlusek

Query Complexity: Worst-Case Quantum Versus Average-Case Classical

Scott Aaronson

The number of guards needed by a museum: A phase transition in vertex covering of random graphs

Martin Weigt,Alexander K. Hartmann

A Logic for SDSI's Linked Local Name Spaces

Joseph Y. Halpern,Ron van der Meyden

Take-home Complexity

Lane A. Hemaspaandra

Agents of Choice: Tools that Facilitate Notice and Choice about Web Site Data Practices

Lorrie Faith Cranor

Nondeterministic Quantum Query and Quantum Communication Complexities

Ronald de Wolf

Knowledge Theoretic Properties of Topological Spaces

Konstantinos Georgatos

A theory of normed simulations

W. O. D. Griffioen,F. W. Vaandrager

Relevance as Deduction: A Logical View of Information Retrieval

Gianni Amati,Konstantinos Georgatos

Dimension-Dependent behavior in the satisfability of random k-Horn formulae

Gabriel Istrate

PSPACE Reasoning for Graded Modal Logics

Stephan Tobies

Task Frames

Burkhard D. Steinmacher-Burow

Practical Reasoning for Expressive Description Logics

Ian Horrocks,Ulrike Sattler,Stephan Tobies

An Average Analysis of Backtracking on Random Constraint Satisfaction Problems

Ke Xu,Wei Li

Extending and Implementing the Stable Model Semantics

Patrik Simons

Assisted Video Sequences Indexing : Motion Analysis Based on Interest Points

Emmanuel Etievent,Frank Lebourgeois,Jean-Michel Jolion

An Internet Multicast System for the Stock Market

N. F. Maxemchuk,D. H. Shur

Stochastic Model Checking for Multimedia

Jeremy Bryans,Howard Bowman,John Derrick

Efficient generation of rotating workforce schedules

Nysret Musliu,Johannes Gaertner,Wolfgang Slany