Sciweavers

4961 search results - page 234 / 993
» Homomorphism-Homogeneous Relational Structures
Sort
View
102
Voted
IEAAIE
2005
Springer
15 years 9 months ago
Ontology-Based Natural Language Parser for E-Marketplaces
We propose an approach to Natural Language Processing exploiting knowledge domain in an e-commerce scenario. Based on such modeling an NLP parser is presented, aimed at translating...
Stefano Coppi, Tommaso Di Noia, Eugenio Di Sciasci...
128
Voted
ACRI
2004
Springer
15 years 9 months ago
Neuropercolation: A Random Cellular Automata Approach to Spatio-temporal Neurodynamics
Abstract. We outline the basic principles of neuropercolation, a generalized percolation model motivated by the dynamical properties of the neuropil, the densely interconnected neu...
Robert Kozma, Marko Puljic, Paul Balister, B&eacut...
IV
2002
IEEE
87views Visualization» more  IV 2002»
15 years 8 months ago
Visualization of Document Co-Citation Counts
Visualization can facilitate the understanding of the structures of a collection of documents that are related to each other by links, such as citations in formal publications. We...
Steven Noel, Chee-Hung Henry Chu, Vijay Raghavan
CIE
2010
Springer
15 years 8 months ago
Processes in Space
We introduce a geometric process algebra based on affine geometry, with the aim of describing the concurrent evolution of geometric structures in 3D space. We prove a relativity th...
Luca Cardelli, Philippa Gardner
100
Voted
ICALP
2010
Springer
15 years 8 months ago
On p-Optimal Proof Systems and Logics for PTIME
We prove that TAUT has a p-optimal proof system if and only if a logic related to least fixed-point logic captures polynomial time on all finite structures. Furthermore, we show ...
Yijia Chen, Jörg Flum