Sciweavers

1722 search results - page 281 / 345
» Variables in Concept Graphs
Sort
View
156
Voted
NDDL
2003
15 years 5 months ago
High-Level Data Races
Data races are a common problem in concurrent and multi-threaded programming. They are hard to detect without proper tool support. Despite the successful application of these tools...
Cyrille Artho, Klaus Havelund, Armin Biere
ECIS
2000
15 years 5 months ago
Perspectives on Knowledge Management Systems - Theoretical Framework and Design of an Empirical Study
Abstract- This paper deals with "Knowledge Management Systems" (KMS) which are seen as a new kind of information systems supporting organizational information processing....
Ronald Maier, Franz Lehner
IJCAI
1993
15 years 5 months ago
Learning Decision Lists over Tree Patterns and Its Application
This paper introduces a new concept, a decision tree (or list) over tree patterns, which is a natural extension of a decision tree (or decision list), for dealing with tree struct...
Satoshi Kobayashi, Koichi Hori, Setsuo Ohsuga
AAECC
2007
Springer
148views Algorithms» more  AAECC 2007»
15 years 4 months ago
Enhancing dependency pair method using strong computability in simply-typed term rewriting
We enhance the dependency pair method in order to prove termination using recursive structure analysis in simply-typed term rewriting systems, which is one of the computational mod...
Keiichirou Kusakari, Masahiko Sakai
AUTOMATICA
2010
99views more  AUTOMATICA 2010»
15 years 4 months ago
Continuous trajectory planning of mobile sensors for informative forecasting
This paper addresses planning of continuous paths for mobile sensors to reduce uncertainty in some quantities of interest in the future. The mutual information between the measure...
Han-Lim Choi, Jonathan P. How