Sciweavers

1060 search results - page 65 / 212
» Using an Agile Approach in a Large, Traditional Organization
Sort
View
ENTCS
2006
125views more  ENTCS 2006»
14 years 12 months ago
Formalizing Type Operations Using the "Image" Type Constructor
In this paper we introduce a new approach to formalizing certain type operations in type theory. Traditionally, many type constructors in type theory are independently axiomatized...
Aleksey Nogin, Alexei Kopylov
SAC
2008
ACM
14 years 11 months ago
Efficient concept clustering for ontology learning using an event life cycle on the web
Ontology learning integrates many complementary techniques, including machine learning, natural language processing, and data mining. Specifically, clustering techniques facilitat...
Sangsoo Sung, Seokkyung Chung, Dennis McLeod
JAISE
2010
182views Algorithms» more  JAISE 2010»
14 years 6 months ago
Exploring semantics in activity recognition using context lattices
Studying human activities has significant implication in human beneficial applications such as personal healthcare. This research has been facilitated by the development of sensor ...
Juan Ye, Simon Dobson
IJCAI
2007
15 years 1 months ago
Computation of Initial Modes for K-modes Clustering Algorithm Using Evidence Accumulation
Clustering accuracy of partitional clustering algorithm for categorical data primarily depends upon the choice of initial data points (modes) to instigate the clustering process. ...
Shehroz S. Khan, Shri Kant
SIGDOC
1995
ACM
15 years 3 months ago
Personalized information structures II: hyperstructure hotlists
This paper describes ongoing research into the use of a domain-retargetable reverse engineering environment to aid the structural understanding of large information spaces. In par...
Scott R. Tilley, Walter M. Lamia