CORR 2011 - PDF Preprint Papers

CORR 2011 Workshop on Service Oriented Computing

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed CORR-2011 Paper

click to vote

CORR
2011
Springer

569views Education» more CORR 2011»

Diagonal Based Feature Extraction for Handwritten Alphabets Recognition System using Neural Network

13 years 4 months ago

Download airccse.org

J. Pradeep, E. Srinivasan, S. Himavathi

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	569	Diagonal Based Feature Extraction for Handwritten Alphabets Recognition System using Neural Network	claim
2	536	Performance Analysis of AODV under Black Hole Attack through Use of OPNET Simulator	claim
3	362	On joint triangulations of two sets of points in the plane	claim
4	358	Time-Varying Graphs and Social Network Analysis: Temporal Indicators and Metrics	claim
5	343	Optimized Performance Evaluation of LTE Hard Handover Algorithm with Average RSRP Constraint	claim
6	339	Context Capture in Software Development	claim
7	339	Analysis of the User Acceptance for Implementing ISO/IEC 27001:2005 in Turkish Public Organizations	claim
8	331	An Overview of the Security Concerns in Enterprise Cloud Computing	claim
9	326	Mining User Comment Activity for Detecting Forum Spammers in YouTube	claim
10	301	Human Activity Detection from RGBD Images	claim
11	282	Fast Linearized Bregman Iteration for Compressive Sensing and Sparse Denoising	claim
12	275	Combining Ontology Development Methodologies and Semantic Web Platforms for E-government Domain Ontology Development	claim
13	273	Natural Language Processing (almost) from Scratch	claim
14	268	Approximation Algorithms for Submodular Multiway Partition	claim
15	265	Signal Processing in Large Systems: a New Paradigm	claim
16	261	Convex and Network Flow Optimization for Structured Sparsity	claim
17	259	Automatic Optimization for MapReduce Programs	claim
18	259	The Pros and Cons of Compressive Sensing for Wideband Signal Acquisition: Noise Folding vs. Dynamic Range	claim
19	256	Approximating Graphic TSP by Matchings	claim
20	255	On the Economics of Cloud Markets	claim
21	255	Link Spam Detection based on DBSpamClust with Fuzzy C-means Clustering	claim
22	247	Medical Image Denoising using Adaptive Threshold Based on Contourlet Transform	claim
23	247	The Extraordinary SVD	claim
24	245	Joint Distributed Access Point Selection and Power Allocation in Cognitive Radio Networks	claim
25	245	A linear framework for region-based image segmentation and inpainting involving curvature penalization	claim
26	243	Deterministic Network Model Revisited: An Algebraic Network Coding Approach	claim
27	243	Distributed Estimation and False Data Detection with Application to Power Networks	claim
28	243	Localization from Incomplete Noisy Distance Measurements	claim
29	241	An Alternating Direction Algorithm for Matrix Completion with Nonnegative Factors	claim
30	241	An Agent-based Strategy for Deploying Analysis Models into Specification and Design for Distributed APS Systems	claim
31	239	From Linked Data to Relevant Data -- Time is the Essence	claim
32	239	Multi-objective Optimization For The Dynamic Multi-Pickup and Delivery Problem with Time Windows	claim
33	235	On the accuracy of language trees	claim
34	234	Mutual Information, Relative Entropy, and Estimation in the Poisson Channel	claim
35	231	Capacity of Discrete Molecular Diffusion Channels	claim
36	230	Computational Rationalization: The Inverse Equilibrium Problem	claim
37	229	Digital herders and phase transition in a voting model	claim
38	229	"Improved FCM algorithm for Clustering on Web Usage Mining"	claim
39	228	Analyzing the Impact of Visitors on Page Views with Google Analytics	claim
40	227	Message Structures: a modelling technique for information systems analysis and design	claim
41	227	RDBNorma: - A semi-automated tool for relational database schema normalization up to third normal form	claim
42	226	Buffer Sizing for 802.11 Based Networks	claim
43	225	Automatic Extraction of Open Space Area from High Resolution Urban Satellite Imagery	claim
44	224	A Broadcast Approach To Secret Key Generation Over Slow Fading Channels	claim
45	223	Decentralized Formation Control Part I: Geometric Aspects	claim
46	222	Generic Trace Logics	claim
47	222	Weakly Supervised Learning of Foreground-Background Segmentation using Masked RBMs	claim
48	222	A New Data Layout For Set Intersection on GPUs	claim
49	221	Course on System Design (structural approach)	claim
50	221	Degrees of Freedom Region of the Gaussian MIMO Broadcast Channel with Common and Private Messages	claim
51	220	On a linear programming approach to the discrete Willmore boundary value problem and generalizations	claim
52	219	Active Markov Information-Theoretic Path Planning for Robotic Environmental Sensing	claim
53	217	Boolean Networks Design by Genetic Algorithms	claim
54	217	Using Short Message Service (SMS) to Support Business Continuity	claim
55	217	Coarse-Grained Topology Estimation via Graph Sampling	claim
56	217	Interactive Execution Monitoring of Agent Teams	claim
57	216	Approaches to Formal Verification of Security Protocols	claim
58	215	The total path length of split trees	claim
59	215	Lasserre Hierarchy, Higher Eigenvalues, and Approximation Schemes for Quadratic Integer Programming with PSD Objectives	claim
60	215	The Bethe Permanent of a Non-Negative Matrix	claim
61	215	A Foundational View on Integration Problems	claim
62	214	K-Median Clustering, Model-Based Compressive Sensing, and Sparse Recovery for Earth Mover Distance	claim
63	214	Convex Approaches to Model Wavelet Sparsity Patterns	claim
64	213	Adapting to Non-stationarity with Growing Expert Ensembles	claim
65	213	Liquidsoap: a High-Level Programming Language for Multimedia Streaming	claim
66	213	Symbolic computation of weighted Moore-Penrose inverse using partitioning method	claim
67	212	Combining Neural Networks for Skin Detection	claim
68	212	Analytical Study of Object Components for Distributed and Ubiquitous Computing Environment	claim
69	212	An Agent Based Architecture (Using Planning) for Dynamic and Semantic Web Services Composition in an EBXML Context	claim
70	212	Path coalitional games	claim
71	212	Decision Support Tools for Cloud Migration in the Enterprise	claim
72	211	Programming Massively Parallel Architectures using MARTE: a Case Study	claim
73	211	Labeling 3D scenes for Personal Assistant Robots	claim
74	210	Competitive and Deterministic Embeddings of Virtual Networks	claim
75	210	Statistical Compressed Sensing of Gaussian Mixture Models	claim
76	210	Online Learning of Rested and Restless Bandits	claim
77	210	Intelligent Semantic Web Search Engines: A Brief Survey	claim
78	210	Blind source separation of convolutive mixtures of non circular linearly modulated signals with unknown baud rates	claim
79	210	Binary Sequent Calculi for Truth-invariance Entailment of Finite Many-valued Logics	claim
80	210	Transmission with Energy Harvesting Nodes in Fading Wireless Channels: Optimal Policies	claim
81	209	Aneka Cloud Application Platform and Its Integration with Windows Azure	claim
82	209	An Empirical Study of Real-World SPARQL Queries	claim
83	209	Close the Gaps: A Learning-while-Doing Algorithm for a Class of Single-Product Revenue Management Problems	claim
84	209	I Don't Want to Think About it Now:Decision Theory With Costly Computation	claim
85	209	Analysis and Improvement of Low Rank Representation for Subspace segmentation	claim
86	208	GRASP and path-relinking for Coalition Structure Generation	claim
87	208	Comparison Latent Semantic and WordNet Approach for Semantic Similarity Calculation	claim
88	207	DB Category: Denotational Semantics for View-based Database Mappings	claim
89	207	Detection of Spatial Changes using Spatial Data Mining	claim
90	207	The AllDifferent Constraint with Precedences	claim
91	207	Ergodic Transmission Capacity of Wireless Ad Hoc Networks with Interference Management	claim
92	206	BitTorrent Swarm Analysis through Automation and Enhanced Logging	claim
93	206	Arrangement Computation for Planar Algebraic Curves	claim
94	206	Convergence analysis of a proximal Gauss-Newton method	claim
95	206	Modeling and Analysis of K-Tier Downlink Heterogeneous Cellular Networks	claim
96	206	A Study of Language Usage Evolution in Open Source Software	claim
97	205	Random Walk on Directed Dynamic Graphs	claim
98	205	On the algebraic numbers computable by some generalized Ehrenfest urns	claim
99	205	Detection of objects in noisy images and site percolation on square lattices	claim
100	205	Parallel Coordinate Descent for L1-Regularized Loss Minimization	claim
101	205	Algorithms for Implicit Hitting Set Problems	claim
102	204	Coded Modulation for Power Line Communications	claim
103	204	Accelerated Dual Descent for Network Optimization	claim
104	204	Face Recognition using 3D Facial Shape and Color Map Information: Comparison and Combination	claim
105	204	Decentralized Supply Chain Formation: A Market Protocol and Competitive Equilibrium Analysis	claim
106	204	Chameleon: A Color-Adaptive Web Browser for Mobile OLED Displays	claim
107	203	AWGN Channel Analysis of Terminated LDPC Convolutional Codes	claim
108	203	Guided Data Repair	claim
109	203	Robust 1-Bit Compressive Sensing via Binary Stable Embeddings of Sparse Vectors	claim
110	203	Comparing Haar-Hilbert and Log-Gabor Based Iris Encoders on Bath Iris Image Database	claim
111	202	Online Least Squares Estimation with Self-Normalized Processes: An Application to Bandit Problems	claim
112	202	Multi-skill Collaborative Teams based on Densest Subgraphs	claim
113	202	High-Energy-First (HEF) Heuristic for Energy-Efficient Target Coverage Problem	claim
114	202	Visualization techniques for data mining of Latur district satellite imagery	claim
115	202	High Degree Vertices, Eigenvalues and Diameter of Random Apollonian Networks	claim
116	202	Network Estimation and Packet Delivery Prediction for Control over Wireless Mesh Networks	claim
117	202	Noisy matrix decomposition via convex relaxation: Optimal rates in high dimensions	claim
118	202	First-order Logic: Modality and Intensionality	claim
119	202	Context-Capture Multi-Valued Decision Fusion With Fault Tolerant Capability For Wireless Sensor Networks	claim
120	201	An implementation of range trees with fractional cascading in C++	claim
121	201	On the Weakenesses of Correlation	claim
122	201	An Achievable Rate Region for the Broadcast Channel with Feedback	claim
123	200	Beating the Gilbert-Varshamov Bound for Online Channels	claim
124	200	Using Feature Weights to Improve Performance of Neural Networks	claim
125	200	An Analysis of Optimal Link Bombs	claim
126	200	Distributed Inference and Query Processing for RFID Tracking and Monitoring	claim
127	200	Sequential Analysis in High Dimensional Multiple Testing and Sparse Recovery	claim
128	200	Optimal Channel Training in Uplink Network MIMO Systems	claim
129	200	Validation Measures in CMMI	claim
130	200	Analytical Evaluation of Fractional Frequency Reuse for OFDMA Cellular Networks	claim
131	199	From Machine Learning to Machine Reasoning	claim
132	199	Fast Sparse Matrix-Vector Multiplication on GPUs: Implications for Graph Mining	claim
133	199	Maximum Gain Round Trips with Cost Constraints	claim
134	199	STiCMAC: A MAC Protocol for Robust Space-Time Coding in Cooperative Wireless LANs	claim
135	199	Surrogate Parenthood: Protected and Informative Graphs	claim
136	198	Concrete Sentence Spaces for Compositional Distributional Models of Meaning	claim
137	198	Quire: Lightweight Provenance for Smart Phone Operating Systems	claim
138	198	Kron Reduction of Graphs with Applications to Electrical Networks	claim
139	198	Pattern matching in Lempel-Ziv compressed strings: fast, simple, and deterministic	claim
140	198	Accelerated Multiplicative Updates and Hierarchical ALS Algorithms for Nonnegative Matrix Factorization	claim
141	198	Decentralized Online Learning Algorithms for Opportunistic Spectrum Access	claim
142	197	Arrangements of double pseudolines	claim
143	197	Business Intelligence for Small and Middle-Sized Entreprises	claim
144	197	High-Throughput Transaction Executions on Graphics Processors	claim
145	197	Query Expansion Based on Clustered Results	claim
146	197	Securing The Kernel via Static Binary Rewriting and Program Shepherding	claim
147	197	Evidence Feed Forward Hidden Markov Model: A New Type of Hidden Markov Model	claim
148	196	Intelligent Lighting System Using Wireless Sensor Networks	claim
149	196	Privacy-Enhanced Reputation-Feedback Methods to Reduce Feedback Extortion in Online Auctions	claim
150	196	A Gentle Introduction to the Kernel Distance	claim
151	195	Context-aware Authorization in Highly Dynamic Environments	claim
152	195	Abstract Processes of Place/Transition Systems	claim
153	195	Simplicial Homology of Random Configurations	claim
154	195	Platform for Assessing Strategic Alignment Using Enterprise Architecture: Application to E-Government Process Assessment	claim
155	195	Collective response of human populations to large-scale emergencies	claim
156	194	Energy-Latency Tradeoff for In-Network Function Computation in Random Networks	claim
157	194	Polarized Montagovian Semantics for the Lambek-Grishin calculus	claim
158	194	Approachability of Convex Sets in Games with Partial Monitoring	claim
159	194	Efficient Maximum Likelihood Estimation of a 2-D Complex Sinusoidal Based on Barycentric Interpolation	claim
160	194	Accelerating Reinforcement Learning through Implicit Imitation	claim
161	194	Sparse approximation property and stable recovery of sparse signals from noisy measurements	claim
162	193	Advice Coins for Classical and Quantum Computation	claim
163	193	A new ANEW: Evaluation of a word list for sentiment analysis in microblogs	claim
164	193	On the regularity of iterated hairpin completion of a single word	claim
165	193	How Unique and Traceable are Usernames?	claim
166	193	The Synchrosqueezing algorithm: a robust analysis tool for signals with time-varying spectrum	claim
167	193	Gigapixel Binary Sensing: Image Acquisition Using Oversampled One-Bit Poisson Statistics	claim
168	193	The Rate of Convergence of AdaBoost	claim
169	193	ATC Taskload Inherent to the Geometry of Stochastic 4-D Trajectory Flows with Flight Technical Errors	claim
170	192	On cooperative patrolling: optimal trajectories, complexity analysis, and approximation algorithms	claim
171	192	Consensus Problem under Diffusion-based Molecular Communication	claim
172	192	Distribution-Independent Evolvability of Linear Threshold Functions	claim
173	192	Improved Approximation Guarantees for Lower-Bounded Facility Location	claim
174	192	Improve performance of tcp new reno over mobile ad-hoc network using abra	claim
175	192	An Efficient Method Based on Genetic Algorithms to Solve Sensor Network Optimization Problem	claim
176	191	A Message-Passing Receiver for BICM-OFDM over Unknown Clustered-Sparse Channels	claim
177	191	On Approximating Four Covering and Packing Problems	claim
178	191	The Iterated Prisoner's Dilemma on a Cycle	claim
179	191	Picturing classical and quantum Bayesian inference	claim
180	191	Using Paxos to Build a Scalable, Consistent, and Highly Available Datastore	claim
181	191	Computing Optimal Coverability Costs in Priced Timed Petri Nets	claim
182	191	A Comparison of Link Layer Attacks on Wireless Sensor Networks	claim
183	190	The key exchange cryptosystem used with higher order Diophantine equations	claim
184	190	Doubly Robust Smoothing of Dynamical Processes via Outlier Sparsity Constraints	claim
185	190	Compiling Causal Theories to Successor State Axioms and STRIPS-Like Systems	claim
186	189	A Factorial Experiment on Scalability of Search Based Software Testing	claim
187	189	Aging in language dynamics	claim
188	189	Secure Routing in Wireless Mesh Networks	claim
189	189	Trends in Social Media : Persistence and Decay	claim
190	189	Analysis of multi-stage open shop processing systems	claim
191	189	Volatility made observable at last	claim
192	189	Fast Set Intersection in Memory	claim
193	189	Peer Effects and Stability in Matching Markets	claim
194	189	A Small PRG for Polynomial Threshold Functions of Gaussians	claim
195	189	Metastability of Logit Dynamics for Coordination Games	claim
196	188	Information-Theoretic Viewpoints on Optimal Causal Coding-Decoding Problems	claim
197	188	On the Decoding Complexity of Cyclic Codes Up to the BCH Bound	claim
198	188	Digraph description of k-interchange technique for optimization over permutations and adaptive algorithm system	claim
199	188	Towards Unbiased BFS Sampling	claim
200	188	Robust Matrix Completion with Corrupted Columns	claim
201	188	Composition of Management System for Smart Homes	claim
202	188	Primitive words and roots of words	claim
203	188	Planar Cycle Covering Graphs	claim
204	188	Image Encryption Using Differential Evolution Approach in Frequency Domain	claim
205	187	Failure of A Mix Network	claim
206	187	Global Stability Analysis of Fluid Flows using Sum-of-Squares	claim
207	187	The Language Features and Architecture of B-Prolog	claim
208	187	Backdoors to Tractable Answer-Set Programming	claim
209	186	A Comparison of Two Human Brain Tumor Segmentation Methods for MRI Data	claim
210	186	Key Reduction of McEliece's Cryptosystem Using List Decoding	claim
211	186	A Goal-Directed Implementation of Query Answering for Hybrid MKNF Knowledge Bases	claim
212	186	Similarity Join Size Estimation using Locality Sensitive Hashing	claim
213	186	On the Complexity of Solving a Bivariate Polynomial System	claim
214	186	An Autonomous Long Range Monitoring System For Emergency Operators	claim
215	186	Blind Compressed Sensing Over a Structured Union of Subspaces	claim
216	186	Requirements of Vertical Handoff Mechanism in 4G Wireless Networks	claim
217	186	A Real-Time Model-Based Reinforcement Learning Architecture for Robot Control	claim
218	185	Binary and nonbinary description of hypointensity in human brain MR images	claim
219	185	The decimation process in random k-SAT	claim
220	185	Sound and Complete Query Answering in Intensional P2P Data Integration	claim
221	185	Large-Scale Collective Entity Matching	claim
222	185	Asymptotic Moments for Interference Mitigation in Correlated Fading Channels	claim
223	185	Distributed SIR-Aware Scheduling in Large-Scale Wireless Networks	claim
224	184	Finding Shortest Path for Developed Cognitive Map Using Medial Axis	claim
225	184	Acyclic and Star Colorings of Cographs	claim
226	184	Stationary distribution and cover time of random walks on random digraphs	claim
227	184	A Doubly Exponentially Crumbled Cake	claim
228	184	Decentralized Constraint Satisfaction	claim
229	184	Metamorphic Virus Variants Classification Using Opcode Frequency Histogram	claim
230	184	Broadcast Channels with Delayed Finite-Rate Feedback: Predict or Observe?	claim
231	184	Resource CoAllocation for Scheduling Tasks with Dependencies, in Grid	claim
232	184	Decision-Feedback Differential Detection in Impulse-Radio Ultra-Wideband Systems	claim
233	183	Pattern tree-based XOLAP rollup operator for XML complex hierarchies	claim
234	183	Detecting Separation in Robotic and Sensor Networks	claim
235	183	Automatic Network Fingerprinting through Single-Node Motifs	claim
236	183	Mean-Variance Optimization in Markov Decision Processes	claim
237	183	Sparse Signal Recovery with Temporally Correlated Source Vectors Using Sparse Bayesian Learning	claim
238	183	Reconstruction of Binary Functions and Shapes from Incomplete Frequency Information	claim
239	183	Learning When Training Data are Costly: The Effect of Class Distribution on Tree Induction	claim
240	182	An automaton over data words that captures EMSO logic	claim
241	182	Short-Message Quantize-Forward Network Coding	claim
242	182	Cyber-Physical Attacks in Power Networks: Models, Fundamental Limitations and Monitor Design	claim
243	182	Adaptively Learning the Crowd Kernel	claim
244	182	Concurrent Auctions Across The Supply Chain	claim
245	181	Compressed String Dictionaries	claim
246	181	Contract-Based Cooperative Spectrum Sharing	claim
247	181	Lightweight Service Oriented Architecture for Pervasive Computing	claim
248	181	Octal Bent Generalized Boolean Functions	claim
249	181	Study of Throughput and Delay in Finite-Buffer Line Networks	claim
250	181	On Isolating Points Using Disks	claim
251	181	SmartInt: Using Mined Attribute Dependencies to Integrate Fragmented Web Databases	claim
252	181	Multimedia Database Applications: Issues and Concerns for Classroom Teaching	claim
253	181	Garbage Collection for Multicore NUMA Machines	claim
254	181	A Novel Image Segmentation Enhancement Technique based on Active Contour and Topological Alignments	claim
255	181	Convergence Analysis of Differential Evolution Variants on Unconstrained Global Optimization Functions	claim
256	180	Commutative Algebra of Statistical Ranking	claim
257	180	Establishing Applicability of SSDs to LHC Tier-2 Hardware Configuration	claim
258	180	Representing First-Order Causal Theories by Logic Programs	claim
259	180	A Formalization of Polytime Functions	claim
260	180	A Survey of User-Centric Data Warehouses: From Personalization to Recommendation	claim
261	180	Lower Bound for Envy-Free and Truthful Makespan Approximation on Related Machines	claim
262	179	T2Script Programming Language	claim
263	179	An overview of Ciao and its design philosophy	claim
264	179	Cooperative searching for stochastic targets	claim
265	179	Recovery of Sparsely Corrupted Signals	claim
266	179	Sparsity based sub-wavelength imaging with partially incoherent light via quadratic compressed sensing	claim
267	179	The restricted isometry property for time-frequency structured random matrices	claim
268	179	Approximating minimum-power edge-multicovers	claim
269	179	Application of Freeman Chain Codes: An Alternative Recognition Technique for Malaysian Car Plates	claim
270	178	Evaluation of Three Vision Based Object Perception Methods for a Mobile Robot	claim
271	178	Anytime Reliable Codes for Stabilizing Plants over Erasure Channels	claim
272	178	Robust Additively Coupled Games	claim
273	178	Enabling Multi-level Trust in Privacy Preserving Data Mining	claim
274	178	Walking on a Graph with a Magnifying Glass	claim
275	178	Message and State Cooperation in a Relay Channel When the Relay Has Strictly Causal State Information	claim
276	178	Online Learning: Stochastic and Constrained Adversaries	claim
277	178	Asymptotic Analysis of Double-Scattering Channels	claim
278	177	Applying Science Models for Search	claim
279	177	A Truthful Randomized Mechanism for Combinatorial Public Projects via Convex Optimization	claim
280	177	Measuring NUMA effects with the STREAM benchmark	claim
281	177	User Modeling Combining Access Logs, Page Content and Semantics	claim
282	177	Tuffy: Scaling up Statistical Inference in Markov Logic Networks using an RDBMS	claim
283	177	Downlink SDMA with Limited Feedback in Interference-Limited Wireless Networks	claim
284	177	Gossip PCA	claim
285	177	A Self-Organized Resource Allocation using Inter-Cell Interference Coordination (ICIC) in Relay-Assisted Cellular Networks	claim
286	176	Matched Filtering from Limited Frequency Samples	claim
287	176	Multiplexed Model Predictive Control	claim
288	176	Automata and differentiable words	claim
289	176	On Paraconsistent Weakening of Intuitionistic Negation	claim
290	176	Decoding by Embedding: Correct Decoding Radius and DMT Optimality	claim
291	176	Maximizing Cloud Providers Revenues via Energy Aware Allocation Policies	claim
292	176	Quantitative Synthesis for Concurrent Programs	claim
293	176	Inner approximations for polynomial matrix inequalities and robust stability regions	claim
294	176	Querying and Manipulating Temporal Databases	claim
295	175	Finitary languages	claim
296	175	A Novel Probabilistic Pruning Approach to Speed Up Similarity Queries in Uncertain Databases	claim
297	175	Team-building with Answer Set Programming in the Gioia-Tauro Seaport	claim
298	175	The Dispersion of Lossy Source Coding	claim
299	175	Traced communication complexity of cellular automata	claim
300	175	Adaptive Channel Recommendation for Dynamic Spectrum Access	claim
301	175	A Matrix Hyperbolic Cosine Algorithm and Applications	claim
302	175	Cooperative Defense Against Pollution Attacks in Network Coding Using SpaceMac	claim
303	175	Heuristic Algorithm for Interpretation of Non-Atomic Categorical Attributes in Similarity-based Fuzzy Databases - Scalability Evaluation	claim
304	175	Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution	claim
305	175	Power Allocation in Team Jamming Games in Wireless Ad Hoc Networks	claim
306	174	Distributed Private Data Analysis: On Simultaneously Solving How and What	claim
307	174	Lower bounds on the obstacle number of graphs	claim
308	174	Left invertibility of discrete-time output-quantized systems: the linear case with finite inputs	claim
309	174	Hide-and-Seek with Directional Sensing	claim
310	174	Termination Proofs in the Dependency Pair Framework May Induce Multiple Recursive Derivational Complexity	claim
311	174	Physical expander in Virtual Tree Overlay	claim
312	174	Parameter Learning of Logic Programs for Symbolic-Statistical Modeling	claim
313	174	The Degree Sequence of Random Apollonian Networks	claim
314	174	Lift-and-Project Integrality Gaps for the Traveling Salesperson Problem	claim
315	174	GPS Signal Acquisition via Compressive Multichannel Sampling	claim
316	174	An Automated Size Recognition Technique for Acetabular Implant in Total Hip Replacement	claim
317	173	Psi-calculi: a framework for mobile processes with nominal data and logic	claim
318	173	Probability Based Clustering for Document and User Properties	claim
319	173	An Adaptive Multimedia-Oriented Handoff Scheme for IEEE 802.11 WLANs	claim
320	173	Exploiting symmetries in SDP-relaxations for polynomial optimization
321	173	U-Sem: Semantic Enrichment, User Modeling and Mining of Usage Data on the Social Web	claim
322	173	Linear Dependent Types and Relative Completeness	claim
323	173	Multiple-Source Single-Sink Maximum Flow in Directed Planar Graphs in O(diameternlog(n)) Time	claim
324	173	3-Phase Recognition Approach to Pseudo 3D Building Generation from 2D Floor Plan	claim
325	172	Improving Strategies via SMT Solving	claim
326	172	SafeVchat: Detecting Obscene Content and Misbehaving Users in Online Video Chat Services	claim
327	172	Log-Convexity of Rate Region in 802.11e WLANs	claim
328	172	Possibilities and impossibilities in Kolmogorov complexity extraction	claim
329	172	Context Aware Multisensor Image Fusion for Military Sensor Networks using Multi Agent System	claim
330	172	Uncovering the Temporal Dynamics of Diffusion Networks	claim
331	171	Design, Implementation and Characterization of a Cooperative Communications System	claim
332	171	Persistent Robotic Tasks: Monitoring and Sweeping in Changing Environments	claim
333	171	Fairness issues in a chain of IEEE 802.11 stations	claim
334	171	Complete Subdivision Algorithms, II: Isotopic Meshing of Singular Algebraic Curves	claim
335	171	Caching in Multidimensional Databases	claim
336	171	Parallel Online Learning	claim
337	171	Exact maximum-likelihood method to detect patterns in real networks	claim
338	171	A Class of Probabilistic Automata with a Decidable Value 1 Problem	claim
339	171	Orthogonal Range Searching on the RAM, Revisited	claim
340	171	Analytical Classification of Multimedia Index Structures by Using a Partitioning Method-Based Framework	claim
341	170	Performance Comparison and Analysis of Preemptive-DSR and TORA	claim
342	170	A Game-Theoretic View of the Interference Channel: Impact of Coordination and Bargaining	claim
343	170	Better Bounds for Incremental Frequency Allocation in Bipartite Graphs	claim
344	170	Introduction to Categories and Categorical Logic	claim
345	170	Exact observability, square functions and spectral theory	claim
346	170	On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces	claim
347	170	Plug-in Approach to Active Learning	claim
348	170	Ecosystem Viable Yields	claim
349	170	A Model for Coherent Distributed Memory For Race Condition Detection	claim
350	170	A Modular Type-checking algorithm for Type Theory with Singleton Types and Proof Irrelevance	claim
351	170	Comparing webometric with web-independent rankings: a case study with German universities	claim
352	170	A Family of Adaptive Filter Algorithms in Noise Cancellation for Speech Enhancement	claim
353	170	Additive Pattern Database Heuristics	claim
354	170	Fine Synchronization through UWB TH-PPM Impulse Radios	claim
355	169	Lower bound for deterministic semantic-incremental branching programs solving GEN	claim
356	169	Strict Authentication Watermarking with JPEG Compression (SAW-JPEG) for Medical Images	claim
357	169	Computing pseudotriangulations via branched coverings	claim
358	169	Linear-Time Algorithms for Graphs of Bounded Rankwidth: A Fresh Look Using Game Theory	claim
359	169	Upper Bounds for Maximally Greedy Binary Search Trees	claim
360	169	Continuous Multiclass Labeling Approaches and Algorithms	claim
361	169	A Secure Communication Game with a Relay Helping the Eavesdropper	claim
362	169	Streaming Tree Transducers	claim
363	169	Power Allocation Based on SEP Minimization in Two-Hop Decode-and-Forward Relay Networks	claim
364	169	Percolation in the Secrecy Graph	claim
365	169	Pseudo-random graphs and bit probe schemes with one-sided error	claim
366	168	Reversible Region of Non-Interest (RONI) Watermarking for Authentication of DICOM Images	claim
367	168	Limit Theorems for the Sample Entropy of Hidden Markov Chains	claim
368	168	Fuzzy Approach to Critical Bus Ranking under Normal and Line Outage Contingencies	claim
369	168	Precoding for Outage Probability Minimization on Block Fading Channels	claim
370	168	Optimal Column-Based Low-Rank Matrix Reconstruction	claim
371	168	Submodular meets Spectral: Greedy Algorithms for Subset Selection, Sparse Approximation and Dictionary Selection	claim
372	168	Link Prediction by De-anonymization: How We Won the Kaggle Social Network Challenge	claim
373	168	Robustness and modular structure in networks	claim
374	168	Neural network to identify individuals at health risk	claim
375	167	On Quadratic Programming with a Ratio Objective	claim
376	167	Type Classes for Mathematics in Type Theory	claim
377	167	Fully Simulatable Quantum-Secure Coin-Flipping and Applications	claim
378	167	Maximum Metric Spanning Tree made Byzantine Tolerant	claim
379	167	Fast global convergence of gradient methods for high-dimensional statistical recovery	claim
380	167	Machine Learning and the Traveling Repairman	claim
381	167	Managing and Querying Web Services Communities: A Survey	claim
382	167	The weak password problem: chaos, criticality, and encrypted p-CAPTCHAs	claim
383	167	Negative Database for Data Security	claim
384	167	Interdisciplinary Collaboration through Designing 3D Simulation Case Studies	claim
385	166	Analysis of Web Logs and Web User in Web Mining	claim
386	166	Reduction of Many-valued into Two-valued Modal Logics	claim
387	166	Agent Based Processing of Global Evaluation Function	claim
388	166	Unfolding network communities by combining defensive and offensive label propagation	claim
389	166	Social Welfare in One-sided Matching Markets without Money	claim
390	166	Courcelle's Theorem - A Game-Theoretic Approach	claim
391	166	An Overview of Portable Distributed Techniques	claim
392	166	A family of fast-decodable MIDO codes from crossed-product algebras over Q	claim
393	166	A Personalized System for Conversational Recommendations	claim
394	165	Extracting Features from Ratings: The Role of Factor Models	claim
395	165	Causal Dependence Tree Approximations of Joint Distributions for Multiple Random Processes	claim
396	165	Partition Functions of Normal Factor Graphs	claim
397	165	From IF to BI: a tale of dependence and separation	claim
398	165	The Impact of Memory Models on Software Reliability in Multiprocessors	claim
399	165	Reactive Turing Machines	claim
400	165	On the Semantics of Purpose Requirements in Privacy Policies	claim
401	165	Universal Metadata Standard	claim
402	165	Tight Upper Bounds for Streett and Parity Complementation	claim
403	165	Semantic Similarity in a Taxonomy: An Information-Based Measure and its Application to Problems of Ambiguity in Natural Language	claim
404	165	Heterogeneous Cellular Networks with Flexible Cell Association: A Comprehensive Downlink SINR Analysis	claim
405	165	Finding Deceptive Opinion Spam by Any Stretch of the Imagination	claim
406	165	Data Base Mappings and Theory of Sketches	claim
407	164	Sweeping an oval to a vanishing point	claim
408	164	CPC: programming with a massive number of lightweight threads	claim
409	164	Comparative Study on DFD to UML Diagrams Transformations	claim
410	164	Spatially-Coupled MacKay-Neal Codes and Hsu-Anastasopoulos Codes	claim
411	164	Irreducible triangulations of surfaces with boundary	claim
412	164	Iterative Reweighted Algorithms for Sparse Signal Recovery with Temporally Correlated Source Vectors	claim
413	164	HOGWILD!: A Lock-Free Approach to Parallelizing Stochastic Gradient Descent	claim
414	164	Lipschitz Games	claim
415	164	Online Strategies for Intra and Inter Provider Service Migration in Virtual Networks	claim
416	164	Noise Folding in Compressed Sensing	claim
417	163	Statistical Analysis of Link Scheduling on Long Paths	claim
418	163	Cryptanalysis of three matrix-based key establishment protocols	claim
419	163	On Conditions for Linearity of Optimal Estimation	claim
420	163	Bounds on the Capacity of the Relay Channel with Noncausal State at Source	claim
421	163	Axiomatic Attribution for Multilinear Functions	claim
422	163	Suboptimal Solution Path Algorithm for Support Vector Machine	claim
423	163	Virtual Machines and Networks - Installation, Performance Study, Advantages and Virtualization Options	claim
424	162	Helly numbers of acyclic families	claim
425	162	Finitely generated free Heyting algebras via Birkhoff duality and coalgebra	claim
426	162	All Roads Lead To Rome	claim
427	162	Community Detection via Semi-Synchronous Label Propagation Algorithms	claim
428	162	Isomorphism of regular trees and words	claim
429	162	Homology and Robustness of Level and Interlevel Sets	claim
430	162	Optimal Power Cost Management Using Stored Energy in Data Centers	claim
431	162	Re-thinking Enrolment in Identity Card Schemes	claim
432	162	The Development of Electronic Payment System for Universities in Indonesia: On Resolving Key Success Factors	claim
433	161	The physical Church-Turing thesis and the principles of quantum theory	claim
434	161	Generalized Gray Codes for Local Rank Modulation	claim
435	161	Aorta Segmentation for Stent Simulation	claim
436	161	On Parsimonious Explanations for 2-D Tree- and Linearly-Ordered Data	claim
437	161	A Panorama on Multiscale Geometric Representations, Intertwining Spatial, Directional and Frequency Selectivity	claim
438	161	Doubly Robust Policy Evaluation and Learning	claim
439	161	Quadratic Goldreich-Levin Theorems	claim
440	160	Provenance for Aggregate Queries	claim
441	160	Matrix Probing and its Conditioning	claim
442	160	Search-based software test data generation using evolutionary computation	claim
443	160	Difference-Huffman Coding of Multidimensional Databases	claim
444	160	When is social computation better than the sum of its parts?	claim
445	160	On Network Coding Capacity - Matroidal Networks and Network Capacity Regions	claim
446	160	Parallel Performance of MPI Sorting Algorithms on Dual-Core Processor Windows-Based Systems	claim
447	160	PHCpack in Macaulay2	claim
448	160	Fundamentals of Inter-cell Overhead Signaling in Heterogeneous Cellular Networks	claim
449	160	Searching for Bayesian Network Structures in the Space of Restricted Acyclic Partially Directed Graphs	claim
450	160	Compositional Model Repositories via Dynamic Constraint Satisfaction with Order-of-Magnitude Preferences	claim
451	159	Geodesics in CAT(0) Cubical Complexes	claim
452	159	Compound Outage Probability and Capacity of a Class of Fading MIMO Channels with Channel Distribution Uncertainty	claim
453	159	Multicriteria Steiner Tree Problem for Communication Network	claim
454	159	Scalable constructions of fractional repetition codes in distributed storage systems	claim
455	159	On the Distribution of the Subset Sum Pseudorandom Number Generator on Elliptic Curves	claim
456	159	Solving connectivity problems parameterized by treewidth in single exponential time	claim
457	159	Automatic Wrappers for Large Scale Web Extraction	claim
458	159	How to Play Unique Games against a Semi-Random Adversary	claim
459	159	Convex inner approximations of nonconvex semialgebraic sets applied to fixed-order controller design	claim
460	159	Internal stabilization of the Oseen-Stokes equations by Stratonovich noise	claim
461	159	Robust Distributed Routing in Dynamical Flow Networks - Part II: Strong Resilience, Equilibrium Selection and Cascaded Failures	claim
462	159	MCA Based Performance Evaluation of Project Selection	claim
463	158	The degree structure of Weihrauch-reducibility	claim
464	158	The Identity Crisis. Security, Privacy and Usability Issues in Identity Management	claim
465	158	The power and Arnoldi methods in an algebra of circulants	claim
466	158	Optimal Pricing in Networks with Externalities	claim
467	158	The AWGN Red Alert Problem	claim
468	158	SqFreeEVAL: An (almost) optimal real-root isolation algorithm	claim
469	158	Uniqueness domains and non singular assembly mode changing trajectories	claim
470	158	Polynomial Estimators for High Frequency Moments	claim
471	158	Nonuniform Coverage Control on the Line	claim
472	158	The existence of k-radius sequences	claim
473	158	Exploiting Conceptual Knowledge for Querying Information Systems	claim
474	157	Convergence of type-symmetric and cut-balanced consensus seeking systems	claim
475	157	Fast and Faster: A Comparison of Two Streamed Matrix Decomposition Algorithms	claim
476	157	A family of abstract interpretations for static analysis of concurrent higher-order programs	claim
477	157	Convex Hull of Imprecise Points in o(n \log{n}) Time after Preprocessing	claim
478	157	Orphan-Free Anisotropic Voronoi Diagrams	claim
479	157	Large-Scale Convex Minimization with a Low-Rank Constraint	claim
480	157	Model based system engineering approach of a lightweight embedded TCP/IP	claim
481	156	Discrete Time Elastic Vector Spaces	claim
482	156	Extensional Collapse Situations I: non-termination and unrecoverable errors	claim
483	156	Impossibility of Succinct Quantum Proofs for Collision-Freeness	claim
484	156	Ontology based approach for video transmission over the network	claim
485	156	A hybrid model for bankruptcy prediction using genetic algorithm, fuzzy c-means and mars	claim
486	156	Poster Abstract: If You Have Time, Save Energy with Pull	claim
487	156	Algorithmic tests and randomness with respect to a class of measures	claim
488	156	Theory of Atomata	claim
489	156	Design of Transport Layer Based Hybrid Covert Channel Detection Engine	claim
490	156	From joint convexity of quantum relative entropy to a concavity theorem of Lieb	claim
491	155	Tight Bounds on Information Dissemination in Sparse Mobile Networks	claim
492	155	Connectedness of fractals associated with Arnoux-Rauzy substitutions	claim
493	155	On the Zero-Error Capacity Threshold for Deletion Channels	claim
494	155	Open problems in Costas arrays	claim
495	155	Selfishness, fraternity, and other-regarding preference in spatial evolutionary games	claim
496	155	Subexponential convergence for information aggregation on regular trees	claim
497	155	Generalized Filtering Decomposition	claim
498	155	Reconciling Compressive Sampling Systems for Spectrally-sparse Continuous-time Signals	claim
499	155	Image Encryption Based on Diffusion and Multiple Chaotic Maps	claim
500	155	Coloring Planar Homothets and Three-Dimensional Hypergraphs	claim
501	155	On the Generation of Positivstellensatz Witnesses in Degenerate Cases	claim
502	155	The Theory of Intervention Games for Resource Sharing in Wireless Communications	claim
503	155	Visual Localisation of Mobile Devices in an Indoor Environment under Network Delay Conditions	claim
504	155	Impact of Limited Feedback on MIMO-OFDM Systems using Joint Beamforming	claim
505	154	A New Sum-Rate Outer Bound for Interference Channels with Three Source-Destination Pairs	claim
506	154	Dual-Tree Fast Gauss Transforms	claim
507	154	A Fuzzy View on k-Means Based Signal Quantization with Application in Iris Segmentation	claim
508	153	Dynamic Feature Description in Human Action Recognition	claim
509	153	Stability Analysis of Transportation Networks with Multiscale Driver Decisions	claim
510	153	Ensuring the boundedness of the core of games with restricted cooperation	claim
511	153	Partially Linear Bayesian Estimation with Application to Sparse Approximations	claim
512	153	A short proof of the Quantum Substate Theorem	claim
513	153	Proof-Theoretic Soundness and Completeness	claim
514	153	Exploring New Directions in Iris Recognition	claim
515	153	On the Windfall and Price of Friendship: Inoculation Strategies on Social Networks	claim
516	152	Sparsity Equivalence of Anisotropic Decompositions	claim
517	152	Topology Discovery of Sparse Random Graphs With Few Participants	claim
518	152	To Parallelize or Not to Parallelize, Speed Up Issue	claim
519	152	Performance evaluation of FD-SOI Mosfets for different metal gate work function	claim
520	152	Tiled QR factorization algorithms	claim
521	152	Sub-Nyquist Sampling: Bridging Theory and Practice	claim
522	152	WiMAX Based 60 GHz Millimeter-Wave Communication for Intelligent Transport System Applications	claim
523	151	Glioblastoma Multiforme Segmentation in MRI Data with a Balloon Inflation Approach	claim
524	151	A Simulation Experiment on a Built-In Self Test Equipped with Pseudorandom Test Pattern Generator and Multi-Input Shift Register (MISR)	claim
525	151	Generating Probability Distributions using Multivalued Stochastic Relay Circuits	claim
526	151	Reversible Data Hiding Based on Two-level HDWT Coefficient Histograms	claim
527	151	Temporal Probabilistic Logic Programs: State and Revision	claim
528	151	A Directional Feature with Energy based Offline Signature Verification Network	claim
529	151	Sparsity Enhanced Decision Feedback Equalization	claim
530	151	Fast Local Computation Algorithms	claim
531	151	A supervised clustering approach for fMRI-based inference of brain states	claim
532	151	Square root Bound on the Least Power Non-residue using a Sylvester-Vandermonde Determinant	claim
533	151	Multiply-Recursive Upper Bounds with Higman's Lemma	claim
534	151	Generating and Searching Families of FFT Algorithms	claim
535	151	A Stochastic-Geometry Approach to Coverage in Cellular Networks with Multi-Cell Cooperation	claim
536	151	Ubiquitous Mobile Health Monitoring System for Elderly (UMHMSE)	claim
537	151	A New Representation Theorem for Many-valued Modal Logics	claim
538	150	Multi-layer Bit-wise Unequal Error Protection for Variable Length Blockcodes with Feedback	claim
539	150	Total variation regularization for fMRI-based prediction of behaviour	claim
540	150	XMLlab : multimedia publication of simulations applets using XML and Scilab	claim
541	150	Data Separation by Sparse Representations	claim
542	150	Difference Sequence Compression of Multidimensional Databases	claim
543	150	Program Optimization Based Pointer Analysis and Live Stack-Heap Analysis	claim
544	150	Optimal coding for the deletion channel with small deletion probability	claim
545	150	Asymptotic Enumeration of Non-crossing Partitions on Surfaces	claim
546	150	A Light Weight Protocol to Provide Location Privacy in Wireless Body Area networks	claim
547	149	Synthesizing Systems with Optimal Average-Case Behavior for Ratio Objectives	claim
548	149	Impact of link deletions on public cooperation in scale-free networks	claim
549	149	Solving k-Set Agreement with Stable Skeleton Graphs	claim
550	149	Tight Bounds for Parallel Randomized Load Balancing	claim
551	149	A new bound for parsimonious edge-colouring of graphs with maximum degree three	claim
552	149	Load-Balancing Spatially Located Computations using Rectangular Partitions	claim
553	149	Symbolic Computation of Recursion Operators for Nonlinear Differential-Difference equations	claim
554	149	General Iteration graphs and Boolean automata circuits	claim
555	149	Intensionality and Two-steps Interpretations	claim
556	149	Common Edge-Unzippings for Tetrahedra	claim
557	148	Convex Polyhedra Realizing Given Face Areas	claim
558	148	Modeling the pairwise key distribution scheme in the presence of unreliable links	claim
559	148	Universal Learning Theory	claim
560	148	A novel super resolution reconstruction of low reoslution images progressively using dct and zonal filter based denoising	claim
561	148	User guide to TIM, a ray-tracing program for forbidden ray optics	claim
562	148	On Stabilization in Herman's Algorithm	claim
563	148	On Social-Temporal Group Query with Acquaintance Constraint	claim
564	148	How well can we estimate a sparse vector?	claim
565	148	Repetitive Reduction Patterns in Lambda Calculus with letrec (Work in Progress)	claim
566	148	Translation of Pronominal Anaphora between English and Spanish: Discrepancies and Evaluation	claim
567	148	Dominating Manipulations in Voting with Partial Information	claim
568	147	A Generalized Method for Integrating Rule-based Knowledge into Inductive Methods Through Virtual Sample Creation	claim
569	147	A Primer on Strategic Games	claim
570	147	On minimising automata with errors	claim
571	147	Human-Assisted Graph Search: It's Okay to Ask Questions	claim
572	147	Symmetry of information and bounds on nonuniform randomness extraction via Kolmogorov extractors	claim
573	147	Realization theory of discrete-time linear switched systems	claim
574	147	On Reachability for Hybrid Automata over Bounded Time	claim
575	147	Series Expansion for Interference in Wireless Networks	claim
576	147	A Machine Learning Based Analytical Framework for Semantic Annotation Requirements	claim
577	146	Finding undetected protein associations in cell signaling by belief propagation	claim
578	146	An Implicit Cover Problem in Wild Population Study	claim
579	146	Refined bounds on the number of connected components of sign conditions on a variety	claim
580	146	Use of Devolved Controllers in Data Center Networks	claim
581	146	Exploratory simulation of an Intelligent Iris Verifier Distributed System	claim
582	145	MDS Array Codes with Optimal Rebuilding	claim
583	145	Solving mazes with memristors: a massively-parallel approach	claim
584	145	Global Search Based on Efficient Diagonal Partitions and a set of Lipschitz Constants	claim
585	145	A Universal Part-of-Speech Tagset	claim
586	145	SLDs for Visualizing Multicolor Elevation Contour Lines in Geo-Spatial Web Applications	claim
587	145	Collective Animal Behavior from Bayesian Estimation and Probability Matching	claim
588	145	Optimal channel allocation with dynamic power control in cellular networks	claim
589	144	Simulation of Self-Assembly in the Abstract Tile Assembly Model with ISU TAS	claim
590	144	Schema Redescription in Cellular Automata: Revisiting Emergence in Complex Systems	claim
591	144	On Properties of the Minimum Entropy Sub-tree to Compute Lower Bounds on the Partition Function	claim
592	144	Arc-preserving subsequences of arc-annotated sequences	claim
593	144	Application of Threshold Techniques for Readability Improvement of Jawi Historical Manuscript Images	claim
594	144	Rank Aggregation via Nuclear Norm Minimization	claim
595	144	Rewriting Ontological Queries into Small Nonrecursive Datalog Programs	claim
596	144	Analyzing Walksat on random formulas	claim
597	143	Graffiti Networks: A Subversive, Internet-Scale File Sharing Model	claim
598	143	Inter-organizational fault management: Functional and organizational core aspects of management architectures	claim
599	143	Trust Based Participant Driven Privacy Control in Participatory Sensing	claim
600	143	Rational Deployment of CSP Heuristics	claim
601	143	CoPhy: A Scalable, Portable, and Interactive Index Advisor for Large Workloads	claim
602	143	On the number of maximal independent sets in a graph	claim
603	143	Non-malleable extractors via character sums	claim
604	143	Probabilistic Logic: Many-valuedness and Intensionality	claim
605	143	Decision-Theoretic Planning: Structural Assumptions and Computational Leverage	claim
606	143	Towards Understanding and Harnessing the Potential of Clause Learning	claim
607	143	Polynomial kernels for Proper Interval Completion and related problems	claim
608	142	Power Allocation Games in Interference Relay Channels: Existence Analysis of Nash Equilibria	claim
609	142	Status of GDL - GNU Data Language	claim
610	142	A Logical Method for Policy Enforcement over Evolving Audit Logs	claim
611	142	Reverse Engineering of Molecular Networks from a Common Combinatorial Approach	claim
612	142	Classical and Quantum Annealing in the Median of Three Satisfiability	claim
613	142	On the Locality of Codeword Symbols	claim
614	142	Taming Numbers and Durations in the Model Checking Integrated Planning System	claim
615	141	Self-Index Based on LZ77	claim
616	141	One to Rule Them All: a General Randomized Algorithm for Buffer Management with Bounded Delay	claim
617	141	Parallel addition in non-standard numeration systems	claim
618	141	Interference Channel with State Information	claim
619	141	Geometric Semigroup Theory	claim
620	141	Thin Client Web-Based Campus Information Systems for Fiji National University	claim
621	141	Cryptanalysis And Further Improvement Of A Biometric-Based Remote User Authentication Scheme Using Smart Cards	claim
622	141	Performance of Hybrid Concatenated Trellis Codes CPFSK with Iterative Decoding over Fading Channels	claim
623	141	Experimenting with Transitive Verbs in a DisCoCat	claim
624	140	Sampling-rate-aware noise generation	claim
625	140	Thermal Analysis of Climate Regions using Remote Sensing and Grid Computing	claim
626	140	A Wiki for Business Rules in Open Vocabulary, Executable English	claim
627	140	Bias-Driven Revision of Logical Domain Theories	claim
628	139	A Science Model Driven Retrieval Prototype	claim
629	139	Linear Error Correcting Codes with Anytime Reliability	claim
630	139	Synthesizing Switching Logic to Minimize Long-Run Cost
631	139	Codeco: A Grammar Notation for Controlled Natural Language in Predictive Editors	claim
632	139	Naming Games in Two-Dimensional and Small-World-Connected Random Geometric Networks	claim
633	139	On the set of imputations induced by the k-additive core	claim
634	139	Clustering Partially Observed Graphs via Convex Optimization	claim
635	139	Volatility of Power Grids under Real-Time Pricing	claim
636	139	Knowledge Management System Design using Extended Gaia	claim
637	138	On the resilience of Hamiltonicity and optimal packing of Hamilton cycles in random graphs	claim
638	138	A new approach to nonrepetitive sequences	claim
639	138	Special Values of Generalized Log-sine Integrals	claim
640	138	Many collinear k-tuples with no k+1 collinear points	claim
641	137	Existential witness extraction in classical realizability and via a negative translation	claim
642	137	An improvement of the Moser-Tardos algorithmic local lemma	claim
643	137	Handwritten Digit Recognition with a Committee of Deep Neural Nets on GPUs	claim
644	136	Submodular Decomposition Framework for Inference in Associative Markov Networks with Global Constraints	claim
645	136	Degree Fluctuations and the Convergence Time of Consensus Algorithms	claim
646	136	Groups with poly-context-free word problem	claim
647	136	Incremental Cycle Detection, Topological Ordering, and Strong Component Maintenance	claim
648	136	Eliciting Forecasts from Self-interested Experts: Scoring Rules for Decision Makers	claim
649	136	Reinforcement Learning for Agents with Many Sensors and Actuators Acting in Categorizable Environments	claim
650	135	Planning with Partial Preference Models	claim
651	135	Treatment of Semantic Heterogeneity in Information Retrieval	claim
652	135	How to make the most of a shared meal: plan the last bite first	claim
653	135	A Dynamic Multimedia User-Weight Classification Scheme for IEEE_802.11 WLANs	claim
654	135	Numerical solution of a fuzzy time-optimal control problem	claim
655	135	On the Limitations of Provenance for Queries With Difference	claim
656	134	Robust Line Planning in case of Multiple Pools and Disruptions	claim
657	134	Named Entity Recognition Using Web Document Corpus	claim
658	134	Lectures on noise sensitivity and percolation	claim
659	134	A Review of Interference Reduction in Wireless Networks Using Graph Coloring Methods	claim
660	133	A low-memory algorithm for finding short product representations in finite groups	claim
661	133	Pattern discovery for semi-structured web pages using bar-tree representation	claim
662	133	Semantic Inference using Chemogenomics Data for Drug Discovery	claim
663	133	An Extended Framework for Measuring the Information Capacity of the Human Motor System	claim
664	133	Minimizing the sum of many rational functions	claim
665	132	Spatially-Aware Comparison and Consensus for Clusterings	claim
666	132	Mining Target-Oriented Fuzzy Correlation Rules to Optimize Telecom Service Management	claim
667	132	Design and Analysis of SD_DWCA - A Mobility based clustering of Homogeneous MANETs	claim
668	132	Stage Staffing Scheme for Copyright Protection in Multimedia	claim
669	130	Cost effective approach on feature selection using genetic algorithms and fuzzy logic for diabetes diagnosis	claim
670	129	Multiscale Geometric Methods for Data Sets II: Geometric Wavelets	claim
671	129	On the evolution of the instance level of DL-lite knowledge bases	claim
672	128	Maximizing Strength of Digital Watermarks using Fuzzy Logic	claim
673	128	Dimensional behaviour of entropy and information	claim
674	128	Load Balancing in a Networked Environment through Homogenization	claim
675	128	LIFO-search on digraphs: A searching game for cycle-rank	claim
676	128	Dueling Algorithms	claim
677	128	Popular Ensemble Methods: An Empirical Study	claim
678	128	Order Optimal Information Spreading Using Algebraic Gossip	claim
679	127	Rank Minimization over Finite Fields: Fundamental Limits and Coding-Theoretic Interpretations	claim
680	127	Is a probabilistic modeling	claim
681	127	Robust Distributed Routing in Dynamical Flow Networks	claim
682	127	Nearest Neighbour Decoding and Pilot-Aided Channel Estimation in Stationary Gaussian Flat-Fading Channels	claim
683	127	Generalized Boosting Algorithms for Convex Optimization	claim
684	126	Structured interference-mitigation in two-hop networks	claim
685	126	Semantic Interlinking of Resources in the Virtual Observatory Era	claim
686	126	Ensuring Correctness at the Application Level: a Software Framework Approach	claim
687	126	New Polynomial Classes for Logic-Based Abduction	claim
688	125	A Discrete Choquet Integral for Ordered Systems	claim
689	124	Taking Saratoga from Space-Based Ground Sensors to Ground-Based Space Sensors	claim
690	124	Redundancy of minimal weight expansions in Pisot bases	claim
691	124	Parallel Recursive State Compression for Free	claim
692	124	U-Learning Within A Context-Aware Multiagent Environment	claim
693	123	Kernels for Global Constraints	claim
694	123	Ice-Creams and Wedge Graphs	claim
695	122	Computability of simple games: A complete investigation of the sixty-four possibilities	claim
696	122	Adaptive Cluster Expansion for Inferring Boltzmann Machines with Noisy Data	claim
697	122	Triangular Dynamic Architecture for Distributed Computing in a LAN Environment	claim
698	122	Performance Comparisons of Routing Protocols in Mobile Ad Hoc Networks	claim
699	121	Colorful Triangle Counting and a MapReduce Implementation	claim
700	121	Performance of MC-MC CDMA Systems with Nonlinear Models of HPA	claim
701	121	A New Localized Network Based Routing Model in Computer and Communication networks	claim
702	120	Using Planetlab to Implement Multicast at the Application Level	claim
703	119	EMBANKS: Towards Disk Based Algorithms For Keyword-Search In Structured Databases	claim
704	119	The Nakamura numbers for computable simple games	claim
705	118	Improving the character recognition efficiency of feed forward BP neural network	claim
706	117	An Upper Bound for Signal Transmission Error Probability in Hyperbolic Spaces	claim
707	117	Impact of the Optimum Routing and	claim
708	116	Spatially Coupled Codes over the Multiple Access Channel	claim
709	116	A Robust Mechanism for Defending Distributed Denial OF Service Attacks on Web Servers	claim
710	115	Almost Settling the Hardness of Noncommutative Determinant	claim
711	115	SAT-Based Termination Analysis Using Monotonicity Constraints over the Integers	claim
712	113	Performance of Short-Commit in Extreme Database Environment	claim
713	112	A Weakest Chain Approach to Assessing the Overall Effectiveness of the 802.11 Wireless Network Security	claim
714	112	An Algorithm for Odd Gracefulness of the Tensor Product of Two Line Graphs	claim
715	111	Transformation from Identity Stone Age to Digital Identity	claim
716	110	Minimum k-way cut of bounded size is fixed-parameter tractable	claim
717	108	A Human-Centric Approach to Group-Based Context-Awareness	claim
718	108	Fast Impulse Noise Removal from Highly Corrupted Images	claim
719	107	A QoS Routing Protocol based on Available Bandwidth Estimation for Wireless Ad Hoc Networks	claim
720	105	Chameleons in imagined conversations: A new approach to understanding coordination of linguistic style in dialogs	claim
721	100	TCP Relentless Congestion Control Model	claim
722	98	Web services synchronization health care application	claim
723	96	OSPF Weight Setting Optimization for Single Link Failures	claim
724	89	Tensor Rank: Some Lower and Upper Bounds	claim
725	86	Replication Attack Mitigations for Static and Mobile WSN	claim
726	82	PKI in Government Identity Management Systems	claim
727	80	Evaluation Codes from smooth Quadric Surfaces and Twisted Segre Varieties	claim
728	78	Augmenting Tractable Fragments of Abstract Argumentation	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers