Sciweavers

2066 search results - page 314 / 414
» Word Maturity: Computational Modeling of Word Knowledge
Sort
View
KAIS
2008
81views more  KAIS 2008»
13 years 9 months ago
Maximum entropy based significance of itemsets
We consider the problem of defining the significance of an itemset. We say that the itemset is significant if we are surprised by its frequency when compared to the frequencies of ...
Nikolaj Tatti
ENTCS
2007
158views more  ENTCS 2007»
13 years 9 months ago
Abstraction and Completeness for Real-Time Maude
ion and Completeness for Real-Time Maude Peter Csaba ¨Olveczky a,b and Jos´e Meseguer b a Department of Informatics, University of Oslo b Department of Computer Science, Universi...
Peter Csaba Ölveczky, José Meseguer
JUCS
2006
108views more  JUCS 2006»
13 years 9 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...
NJC
2006
88views more  NJC 2006»
13 years 9 months ago
Optimizing Slicing of Formal Specifications by Deductive Verification
Slicing is a technique for extracting parts of programs or specifications with respect to certain criteria of interest. The extraction is carried out in such a way that properties ...
Ingo Brückner, Björn Metzler, Heike Wehr...
SIAMAM
2008
78views more  SIAMAM 2008»
13 years 9 months ago
Fingering from Ionization Fronts in Plasmas
Abstract. In this paper we describe the formation of fingers from ionization fronts for a hydrodynamic plasma model. The fingers result from a balance between the destabilizing eff...
Manuel Arrayás, Santiago Betelú, Mar...