Sciweavers

641 search results - page 112 / 129
» Novel Developments of the MetaCrop Information System for Fa...
Sort
View
AOSD
2003
ACM
14 years 20 days ago
Modularisation and composition of aspectual requirements
An effective requirements engineering (RE) approach must harmonise the need to achieve separation of concerns with the need to satisfy broadly scoped requirements and constraints....
Awais Rashid, Ana M. D. Moreira, João Ara&u...
IJCINI
2007
139views more  IJCINI 2007»
13 years 7 months ago
AURELLIO: A Cognitive Computational Knowledge Representation Theory
: Cognitive informatics (CI) studies the natural intelligence and internal information processing mechanisms of the brain, as well as the processes involved in perception and cogni...
Mehdi Najjar, André Mayers
FOSSACS
2005
Springer
14 years 28 days ago
Model Checking for Nominal Calculi
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto

Publication
107views
14 years 4 months ago
RATC: A Robust Automated Tag Clustering Technique
Abstract. Nowadays, the most dominant and noteworthy web information sources are developed according to the collaborative-web paradigm, also known as Web 2.0. In particular, it rep...
Ludovico Boratto, Salvatore Carta, Eloisa Vargiu
ISVC
2009
Springer
14 years 1 months ago
Propagation of Pixel Hypotheses for Multiple Objects Tracking
Abstract. In this paper we propose a new approach for tracking multiple objects in image sequences. The proposed approach differs from existing ones in important aspects of the re...
Haris Baltzakis, Antonis A. Argyros