Sciweavers

85 search results - page 11 / 17
» Intelligent Naming System: An Alternative for Enterprise Nam...
Sort
View
CIKM
2006
Springer
15 years 5 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»
14 years 1 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
15 years 7 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
15 years 2 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
15 years 3 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