Sciweavers

247 search results - page 24 / 50
» Ideals without CCC
Sort
View
ISCA
1996
IEEE
102views Hardware» more  ISCA 1996»
13 years 11 months ago
Exploiting Choice: Instruction Fetch and Issue on an Implementable Simultaneous Multithreading Processor
Simultaneous multithreading is a technique that permits multiple independent threads to issue multiple instructions each cycle. In previous work we demonstrated the performance po...
Dean M. Tullsen, Susan J. Eggers, Joel S. Emer, He...
BPM
2007
Springer
155views Business» more  BPM 2007»
13 years 11 months ago
Fuzzy Mining - Adaptive Process Simplification Based on Multi-perspective Metrics
Abstract. Process Mining is a technique for extracting process models from execution logs. This is particularly useful in situations where people have an idealized view of reality....
Christian W. Günther, Wil M. P. van der Aalst
ANSS
2001
IEEE
13 years 11 months ago
Building a Web-Based Federated Simulation System with Jini and XML
In a Web-Based federated simulation system, a group of simulation models residing on different machines attached to the Internet, called federates, collaborate with each other to ...
Xueqin Huang, John A. Miller
KR
2000
Springer
13 years 11 months ago
Anytime Diagnostic Reasoning using Approximate Boolean Constraint Propagation
In contrast with classical reasoning, where a solution is either correct or incorrect, approximate reasoning tries to compute solutions which are close to the ideal solution, with...
Alan Verberne, Frank van Harmelen, Annette ten Tei...
WG
1995
Springer
13 years 11 months ago
Modular Decomposition of Hypergraphs
We propose an O(n4) algorithm to build the modular decomposition tree of hypergraphs of dimension 3 and show how this algorithm can be generalized to compute in O(n3k−5) time th...
Paola Bonizzoni, Gianluca Della Vedova