Sciweavers

1757 search results - page 112 / 352
» Alternating Refinement Relations
Sort
View
123
Voted
ICDE
2011
IEEE
217views Database» more  ICDE 2011»
14 years 7 months ago
T-verifier: Verifying truthfulness of fact statements
— The Web has become the most popular place for people to acquire information. Unfortunately, it is widely recognized that the Web contains a significant amount of untruthful inf...
Xian Li, Weiyi Meng, Clement T. Yu
HICSS
2002
IEEE
191views Biometrics» more  HICSS 2002»
15 years 8 months ago
Mindmap: Utilizing Multiple Taxonomies and Visualization to Understand a Document Collection
We present a novel system and methodology for browsing and exploring topics and concepts within a document collection. The process begins with the generation of multiple taxonomie...
W. Scott Spangler, Jeffrey T. Kreulen, Justin Less...
122
Voted
ECOOP
1998
Springer
15 years 7 months ago
Precise Visual Specification of Design Patterns
There has been substantial recent interest in captured design expertise expressed as design patterns. Prevalent descriptions of these design patterns suffer from two demerits. Firs...
Anthony Lauder, Stuart Kent
CGF
2005
111views more  CGF 2005»
15 years 3 months ago
Hierarchyless Simplification, Stripification and Compression of Triangulated Two Manifolds
In this paper we explore the algorithmic space in which stripification, simplification and geometric compression of triangulated 2-manifolds overlap. Edge-collase/uncollapse based...
Pablo Diaz-Gutierrez, Meenakshisundaram Gopi, Rena...
ANSOFT
2002
126views more  ANSOFT 2002»
15 years 3 months ago
The Real-Time Process Algebra (RTPA)
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
Yingxu Wang