Sciweavers

7452 search results - page 1289 / 1491
» A Semantics for Multiprocessor Systems
Sort
View
JUCS
2006
108views more  JUCS 2006»
15 years 6 months ago
Defining Atomic Composition in UML Behavioral Diagrams
Abstract: UML may be used to describe both the structure and behavior of objectoriented systems using a combination of notations. For the modeling of the dynamic behavior, a number...
Júlio Henrique Araújo Pereira Machad...
SIGOPS
2008
90views more  SIGOPS 2008»
15 years 6 months ago
Virtual servers and checkpoint/restart in mainstream Linux
Virtual private servers and application checkpoint and restart are two advanced operating system features which place different but related requirements on the way kernel-provided...
Sukadev Bhattiprolu, Eric W. Biederman, Serge E. H...
TKDE
2008
116views more  TKDE 2008»
15 years 6 months ago
Long-Term Cross-Session Relevance Feedback Using Virtual Features
Relevance feedback (RF) is an iterative process, which refines the retrievals by utilizing the user's feedback on previously retrieved results. Traditional RF techniques solel...
Peng-Yeng Yin, Bir Bhanu, Kuang-Cheng Chang, Anlei...
JODS
2007
116views Data Mining» more  JODS 2007»
15 years 6 months ago
A Tool for Evaluating Ontology Alignment Strategies
Ontologies are an important technology for the Semantic Web. In different areas ontologies have already been developed and many of these ontologies contain overlapping information...
Patrick Lambrix, He Tan
AI
2004
Springer
15 years 6 months ago
Logic-based subsumption architecture
We describe a logic-based AI architecture based on Brooks' subsumption architecture. In this architecture, we axiomatize different layers of control in First-Order Logic (FOL...
Eyal Amir, Pedrito Maynard-Zhang
« Prev « First page 1289 / 1491 Last » Next »