Sciweavers

13734 search results - page 2453 / 2747
» Abstractions of data types
Sort
View
ECAI
1994
Springer
15 years 10 months ago
Concept Language with Number Restrictions and Fixpoints, and its Relationship with Mu-calculus
Abstract. Many recent works point out that there are several possibilities of assigning a meaning to a concept definition containing some sort of recursion. In this paper, we argue...
Giuseppe De Giacomo, Maurizio Lenzerini
AAIM
2007
Springer
120views Algorithms» more  AAIM 2007»
15 years 10 months ago
Online OVSF Code Assignment with Resource Augmentation
Abstract. Orthogonal Variable Spreading Factor (OVSF) code assignment is a fundamental problem in Wideband Code-Division MultipleAccess (W-CDMA) systems, which play an important ro...
Francis Y. L. Chin, Yong Zhang, Hong Zhu
AIME
2007
Springer
15 years 10 months ago
Using Temporal Context-Specific Independence Information in the Exploratory Analysis of Disease Processes
Abstract. Disease processes in patients are temporal in nature and involve uncertainty. It is necessary to gain insight into these processes when aiming at improving the diagnosis,...
Stefan Visscher, Peter J. F. Lucas, Ildikó ...
BPM
2007
Springer
116views Business» more  BPM 2007»
15 years 10 months ago
View-Based Process Visualization
Abstract. In large organizations different users or user roles have distinguished perspectives over business processes and related data. Personalized views of the managed processes...
Ralph Bobrik, Manfred Reichert, Thomas Bauer
CEC
2007
IEEE
15 years 10 months ago
Evolving hypernetworks for pattern classification
Abstract-- Hypernetworks consist of a large number of hyperedges that represent higher-order features sampled from training patterns. Evolutionary algorithms have been used as a me...
Joo-Kyung Kim, Byoung-Tak Zhang
« Prev « First page 2453 / 2747 Last » Next »