Sciweavers

8413 search results - page 137 / 1683
» Ordering Problem Subgoals
Sort
View
ECSCW
2001
13 years 10 months ago
Decentralizing the control room: Mobile work and institutional order
This paper seeks to inform the ongoing redesign of air traffic management by examining current practices and the adoption of a new system aiming to relieve traffic control from wor...
Oskar Juhlin, Alexandra Weilenmann
SBBD
2004
166views Database» more  SBBD 2004»
13 years 10 months ago
An Apriori-based Approach for First-Order Temporal Pattern Mining
Previous studies on mining sequential patterns have focused on temporal patterns specified by some form of propositional temporal logic. However, there are some interesting sequen...
Sandra de Amo, Daniel A. Furtado, Arnaud Giacomett...
AAAI
1996
13 years 10 months ago
First-Order Conditional Logic Revisited
Conditional logics play an important role in recent attempts to investigate default reasoning. This paper investigates firstorder conditional logic. We show that, as for first-ord...
Nir Friedman, Joseph Y. Halpern, Daphne Koller
AAAI
1990
13 years 10 months ago
Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection
Since knowledge bases (KBs) are usually incomplete, they should be able to provide information regarding their own incompleteness, which requires them to introspect on what they k...
Gerhard Lakemeyer
JSCIC
2008
96views more  JSCIC 2008»
13 years 9 months ago
Second-Order Accurate Godunov Scheme for Multicomponent Flows on Moving Triangular Meshes
This paper presents a second-order accurate adaptive Godunov method for twodimensional (2D) compressible multicomponent flows, which is an extension of the previous adaptive movin...
Guoxian Chen, Huazhong Tang, Pingwen Zhang