Sciweavers

776 search results - page 77 / 156
» Applying the i* Framework to the Development of Data Warehou...
Sort
View
MA
2011
Springer
193views Communications» more  MA 2011»
13 years 2 months ago
Spatial autoregressive and moving average Hilbertian processes
Since the initial work on spatial statistical models developed in Bhattacharyya, Khalil and Richardson (1996), Basu and Reinsel (1993), Güyon (1995), Martin (1979, 1990, 1996), Ja...
María Dolores Ruiz-Medina
EXPERT
2006
156views more  EXPERT 2006»
13 years 7 months ago
Computational Models of Ethical Reasoning: Challenges, Initial Steps, and Future Directions
on abstract principles that you can't easily apply in a formal, deductive fashion. So, the favorite tools of logicians and mathematicians, such as firstorder logic, aren'...
Bruce M. McLaren
CSFW
2005
IEEE
14 years 1 months ago
An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols
Authentication and secrecy properties are proved by very different methods: the former by local reasoning, leading to matching knowledge of all principals about the order of their...
Iliano Cervesato, Catherine Meadows, Dusko Pavlovi...
PREMI
2005
Springer
14 years 1 months ago
Parallel Island Model for Attribute Reduction
Abstract. We develop a framework for parallel computation of the optimal rough set decision reducts from data. We adapt the island model for evolutionary computing. The idea is to ...
Mohammad M. Rahman, Dominik Slezak, Jakub Wroblews...
ICGI
1998
Springer
14 years 1 days ago
Meaning Helps Learning Syntax
In this paper, we propose a new framework for the computational learning of formal grammars with positive data. In this model, both syntactic and semantic information are taken int...
Isabelle Tellier