Sciweavers

4695 search results - page 427 / 939
» Software Clustering Techniques and the Use of Combined Algor...
Sort
View
FODO
1998
Springer
263views Algorithms» more  FODO 1998»
15 years 11 months ago
On-Line Analytical Processing with Conceptual Information Systems
Abstract. A Conceptual Information System consists of a database together with conceptual hierarchies. The management system TOSCANA visualizes arbitrary combinations of conceptual...
Gerd Stumme
225
Voted
TCBB
2011
15 years 1 months ago
A Partial Set Covering Model for Protein Mixture Identification Using Mass Spectrometry Data
—Protein identification is a key and essential step in mass spectrometry (MS) based proteome research. To date, there are many protein identification strategies that employ eithe...
Zengyou He, Can Yang, Weichuan Yu
KBSE
2000
IEEE
15 years 11 months ago
Circular Coinductive Rewriting
Circular coinductive rewriting is a new method for proving behavioral properties, that combines behavioral rewriting with circular coinduction. This method is implemented in our n...
Joseph A. Goguen, Kai Lin, Grigore Rosu
ICDM
2010
IEEE
217views Data Mining» more  ICDM 2010»
15 years 4 months ago
Discovering Temporal Features and Relations of Activity Patterns
An important problem that arises during the data mining process in many new emerging application domains is mining data with temporal dependencies. One such application domain is a...
Ehsan Nazerfard, Parisa Rashidi, Diane J. Cook
206
Voted
ATAL
2005
Springer
16 years 12 days ago
Coordinating multiple rovers with interdependent science objectives
This paper describes an integrated system for coordinating multiple rover behavior with the overall goal of collecting planetary surface data. The MISUS system combines techniques...
Tara A. Estlin, Daniel M. Gaines, Forest Fisher, R...