Sciweavers

3357 search results - page 341 / 672
» Controlling Complexity
Sort
View
207
Voted
ICIAP
1999
ACM
15 years 11 months ago
Cellular Automata Based Optical Flow Computation for "Just-in-Time" Applications
Real-world tasks often require real-time performances. However, in many practical cases, “just in time” responses are sufficient. This means that a system should be efficien...
Giovanni Adorni, Stefano Cagnoni, Monica Mordonini
HICSS
1998
IEEE
128views Biometrics» more  HICSS 1998»
15 years 11 months ago
A Situation Calculus Model of Hypertext
We utilize the situation calculus to develop a logical model of hypertext systems. The work builds upon the earlier work of Bieber and Kimbrough in the logical modeling of hyperte...
Richard B. Scherl, Michael Bieber, Fabio Vitali
IJITWE
2010
118views more  IJITWE 2010»
15 years 4 months ago
Critical Path Based Approach for Predicting Temporal Exceptions in Resource Constrained Concurrent Workflows
Departmental workflows within a digital business ecosystem are often executed concurrently and required to share limited number of resources. However, unexpected events from the b...
Iok-Fai Leong, Yain-Whar Si, Robert P. Biuk-Aghai
ICPADS
2007
IEEE
16 years 1 months ago
Federated clusters using the transparent remote Execution (TREx) environment
- Due to the increasing complexity of scientific models, large-scale simulation tools often require a critical amount of computational power to produce results in a reasonable amou...
Richert Wang, Enrique Cauich, Isaac D. Scherson
CSL
2001
Springer
15 years 11 months ago
A Logic for Approximate First-Order Reasoning
Abstract. In classical approaches to knowledge representation, reasoners are assumed to derive all the logical consequences of their knowledge base. As a result, reasoning in the ...
Frédéric Koriche