Sciweavers

4211 search results - page 555 / 843
» Types as Abstract Interpretations
Sort
View
KES
2007
Springer
16 years 20 days ago
Analysis of the Relation Between Stock Price Returns and Headline News Using Text Categorization
Abstract. In this paper, we analyze about the relation between stock price returns and Headline News. Headline News is very important sources of information in asset management, an...
Satoru Takahashi, Masakazu Takahashi, Hiroshi Taka...
KSEM
2007
Springer
16 years 20 days ago
An Argumentative Reasoning Service for Deliberative Agents
Abstract. In this paper we propose a model that allows agents to deliberate using defeasible argumentation, to share knowledge with other agents, and to represent individual knowle...
Alejandro Javier García, Nicolás D. ...
LCPC
2007
Springer
16 years 20 days ago
Revisiting SIMD Programming
Massively parallel SIMD array architectures are making their way into embedded processors. In these architectures, a number of identical processing elements having small private st...
Anton Lokhmotov, Benedict R. Gaster, Alan Mycroft,...
MODELS
2007
Springer
16 years 20 days ago
Reconciling TGGs with QVT
ant Talks Abstracts Modelling Tools: Claudia Ermel: Tiger Harmen Kastenberg: GROOVE Christian Köhler: EMF Model Transformation Ákos Horváth: The VIATRA2 Model Transformation Fra...
Joel Greenyer, Ekkart Kindler
SEMWEB
2007
Springer
16 years 19 days ago
EachWiki: Suggest to Be an Easy-To-Edit Wiki Interface for Everyone
Abstract. In this paper, we present EachWiki, an extension of Semantic MediaWiki characterized by an intelligent suggestion mechanism. It aims to facilitate the wiki authoring by r...
Huajie Zhang, Linyun Fu, Haofen Wang, Haiping Zhu,...