Sciweavers

1425 search results - page 198 / 285
» Beyond Dependency Graphs
Sort
View
ASWEC
2005
IEEE
16 years 11 days ago
A Formal Method for Program Slicing
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...
Yingzhou Zhang, Baowen Xu, José Emilio Labr...
APWEB
2005
Springer
16 years 8 days ago
A Pattern Restore Method for Restoring Missing Patterns in Server Side Clickstream Data
Abstract. When analyzing patterns in server side data, it becomes quickly apparent that some of the data originating from the client is lost, mainly due to the caching of web pages...
I-Hsien Ting, Chris Kimble, Daniel Kudenko
AUSAI
2005
Springer
16 years 8 days ago
Fuzzy Attribute Implications: Computing Non-redundant Bases Using Maximal Independent Sets
Abstract. This note describes a method for computation of non-redundant bases of attribute implications from data tables with fuzzy attributes. Attribute implications are formulas ...
Radim Belohlávek, Vilém Vychodil
186
Voted
LACL
2005
Springer
16 years 7 days ago
Linguistic Facts as Predicates over Ranges of the Sentence
Abstract. This paper introduces a novel approach to language processing, in which linguistic facts are represented as predicates over ranges of the intput text, usually, but not li...
Benoît Sagot
VMCAI
2005
Springer
16 years 6 days ago
Information Flow Analysis for Java Bytecode
Abstract. We present a context-sensitive compositional analysis of information flow for full (mono-threaded) Java bytecode. Our idea consists in transforming the Java bytecode int...
Samir Genaim, Fausto Spoto