The idea of a Kripke semantics endowed with possibility/plausibility information is not new; in fact there are different approaches for that; see: [6], [13], [16], [19]. This paper follows the approach found in [6], b...
详细信息
The idea of a Kripke semantics endowed with possibility/plausibility information is not new; in fact there are different approaches for that; see: [6], [13], [16], [19]. This paper follows the approach found in [6], but whereas [6] provides a fixed interpretation for connectives into [0,1] here we provide a characterization of a fuzzy semantics for connectives in such a way that the resulting fuzzy frames: K, T and D, are described precisely by the set of statements which also describes, respectively, the usual modal systems K, T and D.
作者:
Magdaleno, Andréa MagalhãesCOPPE/PESC
System Engineering and Computer Science Program UFRJ Rio de Janeiro Brazil NP2Tec
Research and Practice Group in Information Technology UNIRIO Rio de Janeiro Brazil
A major activity performed by the manager before starting a software project is tailoring its development process. Such activity requires information about the context under which the project will be executed, includi...
详细信息
作者:
Magdaleno, Andréa MagalhãesCOPPE/PESC
System Engineering and Computer Science Program UFRJ PO Box 68511 21945-970 Rio de Janeiro RJ Brazil NP2Tec
Research and Practice Group in Information Technology UNIRIO Brazil
Neither traditional, agile or free/open software development models can be effective to all projects contexts. We claim that collaboration and discipline can be the driver to tailor software development processes to m...
详细信息
Collaboration networks are social networks in which relationships represent some kind of professional collaboration. The study of collaboration networks can help identify members that are important or influential with...
详细信息
Collaboration networks are social networks in which relationships represent some kind of professional collaboration. The study of collaboration networks can help identify members that are important or influential within a given community. This work is divided into two parts. The first part is a study of the topological properties of two collaboration networks: the global collaboration network and the Brazilian collaboration network of authors of scientific papers within the area of computerscience. The second part presents a ranking metric for vertices based on the intensities of their relationships. Using the proposed metric and other more classical metrics, we rank the researchers in Brazil in computerscience. The proposed metric was compared with subjective evaluation of researchers made by CNPq. The results show the effectiveness of the proposed metric in identifying influential researchers when compared to another metrics in the literature.
Business processes modeling projects are increasingly widespread in organizations. Companies have several processes to be identified and modeled. They usually invest much in hiring expert consultants to do such job. H...
详细信息
ISBN:
(纸本)9789898425065
Business processes modeling projects are increasingly widespread in organizations. Companies have several processes to be identified and modeled. They usually invest much in hiring expert consultants to do such job. However, they still find no guidelines to help them estimate how much a process modeling project will cost or how long this will take. We propose an approach to estimate the effort required to conduct a BPM project and discuss results obtained from over 50 projects in a large Brazilian company.
Complexity and dynamism of day-to-day activities in organizations are inextricably linked, one impacting the other, increasing the challenges for constant adaptation of the way to organize work to address emerging dem...
详细信息
ISBN:
(纸本)9789898425065
Complexity and dynamism of day-to-day activities in organizations are inextricably linked, one impacting the other, increasing the challenges for constant adaptation of the way to organize work to address emerging demands. In this scenario, there are a variety of information, insight and reasoning being processed between people and systems, during process execution. We argue that process variations could be decided in real time, using context information collected. This paper presents a proposal for a business process line cycle, with a set of activities encapsulated in the form of components as central artefact. We explain how composition and adaptation of work may occur in real time and discuss a scenario for this proposal.
Neither traditional, agile or free/open software development models can be effective to all projects contexts. We claim that collaboration and discipline can be the driver to tailor software development processes to m...
详细信息
Neither traditional, agile or free/open software development models can be effective to all projects contexts. We claim that collaboration and discipline can be the driver to tailor software development processes to meet projects and organizations needs. This work proposes that process tailoring can be conducted through a context management approach.
The main knowledge management challenges are to capture, store and reuse contextual knowledge generated during interactions that occur daily in an organization. In this paper, we propose an activity context-aware arch...
详细信息
Real time rendering of three-dimensional scenes in high photorealistic detail is a hard task, such as in the Ray Tracing rendering algorithm. However, parallel implementations of Ray Tracing have been enabling real ti...
详细信息
Real time rendering of three-dimensional scenes in high photorealistic detail is a hard task, such as in the Ray Tracing rendering algorithm. However, parallel implementations of Ray Tracing have been enabling real time performance, as the algorithm is embarrassingly parallel. Thus, a custom parallel design in hardware is likely to achieve an acceptable performance. In this paper, we propose a hardware parallel architecture capable of dealing with the main desirable features of Ray Tracing, such as shadows and reflection effects, imposing low area cost and acceptable rendering performance.
Weightless Artificial Neural Networks have proved to be a promising paradigm for classification tasks. This work introduces the WANN-Tagger, which makes use of weightless artificial neural networks for labelling Portu...
详细信息
ISBN:
(纸本)9789898425324
Weightless Artificial Neural Networks have proved to be a promising paradigm for classification tasks. This work introduces the WANN-Tagger, which makes use of weightless artificial neural networks for labelling Portuguese sentences, tagging each of its terms with its respective part-of-speech. A first experimental evaluation using the CETENFolha corpus indicates the usefulness of this paradigm and shows that it outperforms traditional feedforward neural networks in both accuracy and training time, and also that it is competitive in accuracy with the Hidden Markov Model in some cases. Additionally, WANN-Tagger shows itself capable of incrementally learning new tagged sentences during runtime.
暂无评论