Sciweavers

8337 search results - page 415 / 1668
» Reasoning With Characteristic Models
Sort
View
CONTEXT
2007
Springer
16 years 1 months ago
Towards an Adaptation of Semi-structured Document Querying
In our research work, we consider that access to semi-structured documents is carried out by a data-oriented query. With different users and a same query, the returned results are ...
Corinne Amel Zayani, André Péninou, ...
182
Voted
DIS
2007
Springer
16 years 1 months ago
Unsupervised Spam Detection Based on String Alienness Measures
We propose an unsupervised method for detecting spam documents from Web page data, based on equivalence relations on strings. We propose 3 measures for quantifying the alienness (...
Kazuyuki Narisawa, Hideo Bannai, Kohei Hatano, Mas...
151
Voted
FDL
2005
IEEE
16 years 14 days ago
SystemC-Based Communication and Performance Analysis
In today’s electronic system-level (ESL) design processes, an early analysis of a system’s communication and nce characteristics is becoming a key challenge. The availability ...
Axel G. Braun, Joachim Gerlach, Wolfgang Rosenstie...
GEOS
2005
Springer
16 years 12 days ago
Processes and Events in Dynamic Geo-Networks
Traditional spatial information systems hold only a single state of the ‘real world’. However, geographic phenomena have not only static but dynamic characteristics. The work d...
Antony Galton, Michael F. Worboys
DATE
2003
IEEE
85views Hardware» more  DATE 2003»
16 years 5 days ago
Set Manipulation with Boolean Functional Vectors for Symbolic Reachability Analysis
Symbolic techniques usually use characteristic functions for representing sets of states. Boolean functional vectors provide an alternate set representation which is suitable for ...
Amit Goel, Randal E. Bryant