Sciweavers

85 search results - page 11 / 17
» Intelligent Naming System: An Alternative for Enterprise Nam...
Sort
View
CIKM
2006
Springer
13 years 11 months ago
Incremental hierarchical clustering of text documents
Incremental hierarchical text document clustering algorithms are important in organizing documents generated from streaming on-line sources, such as, Newswire and Blogs. However, ...
Nachiketa Sahoo, Jamie Callan, Ramayya Krishnan, G...
DGO
2011
277views Education» more  DGO 2011»
12 years 7 months ago
Application of the MINOE regulatory analysis framework: case studies
In this paper, we describe a tool to help holistically understand, research and analyze the relationship between an ecosystem model and the relevant laws. Specifically, a software...
Julia A. Ekstrom, Gloria T. Lau, Kincho H. Law, Ma...
ICAT
2006
IEEE
14 years 1 months ago
Hierarchical 3D Data Rendering System Synchronizing with HTML
Abstract. We propose a new rendering system for large-scale, 3D geometic data that can be used with web-based content management systems (CMS). To achieve this, we employed a geome...
Yousuke Kimura, Tomohiro Mashita, Atsushi Nakazawa...
ATAL
2010
Springer
13 years 8 months ago
Virtual world builder toolkit
In this paper we present a system that automatically generates a 3D virtual world from a virtual institution (VI) specification, namely of activities that will take place in the v...
T. Trescak, M. Esteva, I. Rodriguez, J. Morales
APN
2008
Springer
13 years 9 months ago
MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
Kais Klai, Denis Poitrenaud