Sciweavers

1529 search results - page 188 / 306
» Energy-Based Models of P Systems
Sort
View
LREC
2010
133views Education» more  LREC 2010»
14 years 11 months ago
Towards Sentiment Analysis of Financial Texts in Croatian
The paper presents results of an experiment dealing with sentiment analysis of Croatian text from the domain of finance. The goal of the experiment was to design a system model fo...
Zeljko Agic, Nikola Ljubesic, Marko Tadic
TCS
2008
14 years 9 months ago
Security types for dynamic web data
We describe a type system for the Xd calculus of Gardner and Maffeis. An Xd-network is a network of locations, where each location consists of both a data tree (which contains scr...
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, J...
AI
2004
Springer
14 years 9 months ago
On the computational complexity of qualitative coalitional games
We study coalitional games in which agents are each assumed to have a goal to be achieved, and where the characteristic property of a coalition is a set of choices, with each choi...
Michael Wooldridge, Paul E. Dunne
AMAST
2006
Springer
15 years 1 months ago
State Space Reduction of Rewrite Theories Using Invisible Transitions
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
Azadeh Farzan, José Meseguer
IOR
2002
88views more  IOR 2002»
14 years 9 months ago
An Adaptive Bayesian Replacement Policy with Minimal Repair
In this study, an adaptive Bayesian decision model is developed to determine the optimal replacement age for the systems maintained according to a general age replacement policy. I...
Savas Dayanik, Ülkü Gürler