Sciweavers

942 search results - page 52 / 189
» Process Algebraic Non-product-forms
Sort
View
104
Voted
IJCINI
2007
96views more  IJCINI 2007»
15 years 19 days ago
The Theoretical Framework of Cognitive Informatics
Cognitive Informatics (CI) is a transdisciplinary enquiry of the internal information processing mechanisms and processes of the brain and natural intelligence shared by almost al...
Yingxu Wang
100
Voted
ASIAN
1998
Springer
118views Algorithms» more  ASIAN 1998»
15 years 5 months ago
Bisimulation Lattice of Chi Processes
Chi calculus was proposed as a process algebra that has a uniform treatment of names. The paper carries out a systematic study of bisimilarities for chi processes. The notion of L-...
Yuxi Fu
117
Voted
TCS
2002
15 years 10 days ago
A unified language processing methodology
This paper discusses a mathematical concept of language that models both artificial and natural languages and thus provides a framework for a unified language processing methodolo...
Teodor Rus
ENTCS
2006
146views more  ENTCS 2006»
15 years 21 days ago
Relating State-Based and Process-Based Concurrency through Linear Logic
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...
Iliano Cervesato, Andre Scedrov
108
Voted
IQIS
2007
ACM
15 years 2 months ago
On the performance of one-to-many data transformations
Relational Database Systems often support activities like data warehousing, cleaning and integration. All these activities require performing some sort of data transformations. Si...
Paulo J. F. Carreira, Helena Galhardas, Joã...