Sciweavers

2694 search results - page 130 / 539
» Frege's New Science
Sort
View
MFCS
1994
Springer
15 years 10 months ago
A Proof System for Asynchronously Communicating Deterministic Processes
We introduce in this paper new communication and synchronization constructs which allow deterministic processes, communicating asynchronously via unbounded FIFO bu ers, to cope wi...
Frank S. de Boer, M. van Hulst
CANDT
2009
15 years 10 months ago
Social capital, social network and identity bonds: a reconceptualization
We argue that along with social network analysis researchers can also benefit from looking at the identity bonding perspective. In this paper, by synthetic and critical reviewing ...
Hao Jiang, John M. Carroll
RTA
2010
Springer
15 years 10 months ago
Closing the Gap Between Runtime Complexity and Polytime Computability
In earlier work, we have shown that for confluent term rewrite systems (TRSs for short), innermost polynomial runtime complexity induces polytime computability of the functions de...
Martin Avanzini, Georg Moser
GI
2009
Springer
15 years 10 months ago
On the Role of Evolvability for Architectural Design
: Today software systems have to face frequent requests for change during their whole lifetime. It is very important that they can adapt to the frequently changing needs and are fl...
Stephan Bode
ACSC
2004
IEEE
15 years 10 months ago
Sensor Fusion Weighting Measures in Audio-Visual Speech Recognition
Audio-Visual Speech Recognition (AVSR) uses vision to enhance speech recognition but also introduces the problem of how to join (or fuse) these two signals together. Mainstream re...
Trent W. Lewis, David M. W. Powers