Sciweavers

4806 search results - page 602 / 962
» Interactive uncertainty analysis
Sort
View
ICCS
2003
Springer
16 years 4 hour ago
Multi-agent Approach for Visualisation of Fuzzy Systems
Complex fuzzy systems exist in many applications and effective visualisation is required to gain insights in the nature and working of these systems, especially in the implication ...
Binh Pham, Ross Brown
ICCAD
1999
IEEE
75views Hardware» more  ICCAD 1999»
15 years 11 months ago
Functional timing optimization
A common approach to performance optimization of circuits focuses on re-synthesis to reduce the length of all paths greater than the desired delay . We describe a new delay optimi...
Alexander Saldanha
LICS
1999
IEEE
15 years 11 months ago
Towards a Theory of Bisimulation for Local Names
Pitts and Stark have proposed the -calculus as a language for investigating the interaction of unique name generation and higher-order functions. They developed a sound model base...
Alan Jeffrey, Julian Rathke
BPM
2006
Springer
150views Business» more  BPM 2006»
15 years 10 months ago
Towards a Methodology for Deriving Contract-Compliant Business Processes
Abstract. This paper presents a methodology for deriving business process descriptions based on terms in business contract. The aim is to assist process modellers in structuring co...
Zoran Milosevic, Shazia Wasim Sadiq, Maria E. Orlo...
COMPLIFE
2006
Springer
15 years 10 months ago
High-Throughput Identification of Chemistry in Life Science Texts
. OSCAR3 is an open extensible system for the automated annotation of chemistry in scientific articles, which can process thousands of articles per hour. This XML annotation suppor...
Peter Corbett, Peter Murray-Rust