Sciweavers

4961 search results - page 234 / 993
» Homomorphism-Homogeneous Relational Structures
Sort
View
IEAAIE
2005
Springer
16 years 8 hour 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...
ACRI
2004
Springer
15 years 12 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 11 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 11 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
ICALP
2010
Springer
15 years 11 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