论文列表及评分结果
On-Line Construction of Suffix Trees.
电商所评分:4
Optimal Parallel Algorithms for Rectilinear Link-Distance Problems.
电商所评分:5
'Use' discourses in system development: Can communication be improved?
电商所评分:5
CSCW design reconceptualised through science studies.
电商所评分:1
The digital economy: Challenges for Central European Industry.
电商所评分:6
Resolving function-based conflicts in groupware systems.
电商所评分:9
Globalisation and local innovation system: The implementation of government policies to the formation of science parks in Japan.
电商所评分:5
E-community versus E-commerce: The rise and decline of the Amsterdam digital city.
电商所评分:6
Book reviews.
电商所评分:5
Program Refinement in Fair Transition Systems.
电商所评分:9
Proving Termination of (Conditional) Rewrite Systems. A Semantic Approach.
电商所评分:6
An Algebraic Semantics of Higher-Order Types with Subtypes.
电商所评分:6
OBSCURE: A Specification Language for Abstract Data Types.
电商所评分:9
On the Synchronization in Parallel Communicating Grammar Systems.
电商所评分:8
Speeding up Dynamic Transitive Closure for Bounded Degree Graphs.
电商所评分:3
Unavoidable Binary Patterns.
电商所评分:8
Satisfiability of Co-Nested Formulas.
电商所评分:2
Distributed Artificial Intelligence from a Socio-Cognitive Standpoint: Looking at Reasons for Interaction.
电商所评分:6
Experts' Systems Instead of Expert Systems.
电商所评分:4
On the Nature of Rules and Conversation.
电商所评分:9
Triggering Artefacts.
电商所评分:4
What if Computers Could Think?
电商所评分:2
Kant and the software Crisis: Suggestions for the Construction of Human-Centred Software Systems.
电商所评分:10
How to Reach O. R. Wisdom.
电商所评分:10
The Optimal Binary Search Tree for Andersson's Search Algorithm.
电商所评分:2
Scheduling Saves in Fault-Tolerant Computations.
电商所评分:8
Decomposing a Window into Maximal Quadtree Blocks.
电商所评分:5
On Simplest Possible Solutions for Post Correspondence Problems.
电商所评分:9
On the Expected Height of Fringe-Balanced Trees.
电商所评分:2
Infinitary Parallelism without Unbounded Nondeterminism in CSP.
电商所评分:2