Sciweavers

8413 search results - page 137 / 1683
» Ordering Problem Subgoals
Sort
View
ECSCW
2001
15 years 2 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»
15 years 2 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
15 years 2 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
15 years 1 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
98
Voted
JSCIC
2008
96views more  JSCIC 2008»
15 years 22 days 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