30 result(s)
Page Size: 10, 20, 50
Export: bibtex, xml, json, csv
Order by:

CNR Author operator: and / or
Typology operator: and / or
Language operator: and / or
Date operator: and / or
more
Rights operator: and / or
1993 Other Unknown
Integrating perception and action in a cognitive agent
Musto D.
An abstract is not avaiable

See at: CNR ExploRA


1993 Other Unknown
Closing the gap between goals and sensor data
Musto D.
An abstract is not avaiable

See at: CNR ExploRA


1993 Other Unknown
Acquiring beleifs by explaining perceptions
Musto D., Konolige K.
An abstract is not avaiable

See at: CNR ExploRA


1993 Other Unknown
Some notes on perception and actions in situated agents
Musto D., Saffiotti A.
An abstract is not avaiable

See at: CNR ExploRA


1987 Report Unknown
Architecture Specification Language
Meghini C., Musto D.
An abstract is not availableSource: Research report, ESPRIT, 813, 1987

See at: CNR ExploRA


2011 Journal article Unknown
Rifiuti pericolosi, il sistema per l'’inertizzazione
Plescia P., Tempesta M., Musto D., Croci D., Paratore A., Di Stefano A., D'Amico S., Contarino R.
La gestione dei rifiuti in impianti di stabilizzazione e solidificazione: bilancio di massa e mix-designSource: Recycling (Parma) (2011): 51–58.

See at: CNR ExploRA | www.edizionipei.it


2007 Contribution to journal Restricted
Morphological and structural characterization of chrysotile growth on a serpentine shear zone
Musto D., Paoloni G., Plescia P., Tocino M., Sottile R.
Source: Plinius (Pisa, CD-ROM) 33 (2007): 313–313.

See at: www.schweizerbart.de Restricted | CNR ExploRA


1990 Contribution to book Restricted
Architecture Generation in TODOS
Musto Daniela
The Architecture Generation in TODOS consists in the derivation of a set of alternative computer system Architectures suitable for realizing an Office Information System (OIS) from a collection of requirements and a conceptual model specified for the office.Source: Automatic Tools for Designing Office Information Systems,, edited by PERNICI Barbara and ROLLAND Colette, pp. 149–170. Berlin Heidelberg New York London Paris Tokyo Hong Kong Barcelona: Springer-Verlag, 1990
DOI: 10.1007/978-3-642-84323-5_5
DOI: 10.1007/3-540-32062-8_21
Metrics:


See at: link.springer.com Restricted | link.springer.com Restricted | link.springer.com Restricted | CNR ExploRA


1993 Other Unknown
Carmel versus Flakey: a comparison of two winners
Musto D.
The University of Michigan's CARMEL and SRI International's Flakey were the first- and second-place finishers respectively at the AAAI Robot Competition in July, 1992. The approaches used by the two top teams are markedly different, but there are also some highlevel similarities. This paper is intended to compare the two architectures, focusing on abilities exhibited in the robot competition and the underlying approaches used by the two teams.

See at: CNR ExploRA


1988 Report Open Access OPEN
Evaluation of TODOS conceptual model and study of mapping techniques
Musto D.
The result of the evaluation of the TODOS Conceptual Model in order to cater for for incompatibilities with the Architecture Specification Model are showed, and a methodology for mapping the abstract specification of the office system by the requirements and the conceptual model into a set of alternative computer systems Architectures is presented.Source: Research report, ESPRIT, 813, 1988

See at: puma.isti.cnr.it Open Access | CNR ExploRA


1993 Other Unknown
Reasoning about perception
Musto D., Konolige K.
In this paper we investigate some of the uncouscious mechanisms underlying the process of acquisition of beliefs through perception. The paper outlines the basics of a formal theory of belief that is sensitive to the way in which beliefs are formed through perception. The process of belief acquisition involves a form of inference that is defeasible. We represent this kind of inference by means of well-known techiques of non-monotonic reasoning. In addition, we provides an account of perception that is consistent with the commonsense intuition for how perception functions, i.e., causality.

See at: CNR ExploRA


1993 Conference article Unknown
Acquisition of beliefs through perception
Musto D., Konolige K.
This paper outlines the basics of a formal theory of belief that is sensitive to the way in which beliefs are formed through perception. The process of formation of beliefs involves a form of inference that is defeasible. We represent this kind of inference by means of well-known techniques of non-monotonic reasoning. In addition, we provide an account of perception that is consistent with the commonsense intuition for how perception functions, i.e., causality.Source: 2nd Symposium on Logical Formalizations of Commonsense Reasoning, pp. 157–161, Austin, Texas (USA), 11-13/01/1993

See at: CNR ExploRA


1986 Other Unknown
Query simplification by using knowledge about data semantics
Bertino E., Musto D.
In this paper the problem of query trasformation semantic properties of data is addressed. In particular a trasformation rules is defined, and then theorems stating correctness of the rules are given. The theorems ensure that the query obtained by applying the trasformations to a given query is equivalent to the original one, that is the two queries define the same set of tuples. Since join elimination clustering index introduction, empty query test are allowed by such trasformations, they become useful in the process of query optimization.

See at: CNR ExploRA


1986 Conference article Restricted
Semantic query transformation
Bertino E., Musto D.
In this paper the problem of query transformation by using semantic properties of data is addressed. First a formal definition of semantic properties is given in framework of relational algebra and the concept of minimal properties is presented. Then two theorems stating the correctness for a class of query transformations are presented. The theorems ensure that the query obtained by applying the transformations to a given query is semantically equivalent to original query.Source: Congrès INFORSID 1986, pp. 141–171, Fontevraud-L'Abbaye, France, May 27, 1986

See at: dbweb.irit.fr Restricted | CNR ExploRA


1989 Conference article Unknown
A knowledge representation approach to architecture specification in the office information system design.
Castelli D., Meghini C., Musto D.
Architecture modelling is a relevant aspect of the design of office information systems, as it focuses on the representation of computer system architectures that can be used in realizing the office system being designed. We address the problem of architecture specification, and introduce a model for describing office information systems architectures. The model relies on a knowledge base where hardware and software components are organized, together with the knowledge for combining the components into architectures.Source: IFIP WG8.4 - Working Conference on Office Information Systems - the Design Processing, pp. 79–91, Linz (Austria), 15-17 August, 1988

See at: CNR ExploRA


1993 Journal article Restricted
Reasoning about Perception
Musto D., Konolige K.
In this paper we investigate some of the uncounscious mechanisms underlying the process of acquisition of beliefs through perception. The paper outlines the basics of a formal theory of belief that is sensitive to the way in which beliefs are formed through perception. The process of belief acquisition involves a form of inference that is defeasible. We represent this kind of inference by means of well-known techniques of non-monotonic reasoning. In addition, we provide an account of perception that is consistent with the commonsense intuition for how perception functions, i.e., causality.Source: AI communications (Print) 3/4 (1993): 207–212. doi:10.3233/AIC-1993-63-404
DOI: 10.3233/aic-1993-63-404
Metrics:


See at: AI Communications Restricted | iospress.metapress.com Restricted | CNR ExploRA


1994 Report Unknown
Carmel Vs. Flakey: a comparison of two robots
Congdon C., Huber M., Kortenkamp D., Bidlack C., Cohen C., Huffman S., Koss F., Raschke U., Weymouth T., Konolige K., Myers K., Saffiotti A., Ruspini E., Musto D.
The University of Michigan's CARMEL and SRI International's Flakey were the first- and second-place finishers respectively at the AAAI Robot Competition in July, 1992. The approaches used by the two top teams are markedly different, but there are also some highlevel similarities. This paper is intended to compare the two architectures, focusing on abilities exhibited in the robot competition and the underlying approaches used by the two teamsSource: ISTI Technical reports, pp.1–52, 1994

See at: CNR ExploRA


1988 Other Unknown
Architecture specification in TODOS
Castelli D., Meghini C., Musto D.
In the design of an Office Information System, the Architecture Design is the process of defining an hardware and software configuration which is suitable for the realization of the information system. This paper introduces a formalI theory of Architectures and a system, called Architecture Specification System (ASPES), based on this theory, for the construction of office architectures. ASPES embodies the knowledge about hardware and software components and their compatibilities in the form of a procedural semantic network. This knowledge is made available by providing an interactive environment, accessible through a graphical interface, to incrementaly construct office architectures. In addition, ASPES guarantees that the Architecture being constructed by the designer is a feasible Architecture, that is it consists of components that can be effectively combined together.

See at: CNR ExploRA


1988 Other Unknown
Architecture specification language: design and implementation
Castelli D., Meghini C., Musto D.
The report presents the design and the implementation of ASL, a Language for specifying Office Information System Architectures. An Office Information System Architecture is seen as a set of interconnected hardware components, running software packages that perform typical office activities. The Language presented adopts the object oriented representation paradigm, and organizes the specification of an Architecture through four level of abstractions. The knowledge on commercial hardware and software components that are employed in architectures is collected in the ASL Catalogue. ASL is implemented on top of PSN, an extension of Lisp with knowledge structuring facilities. Data structures and programs that handle architectures are then embodied in a PSN knowledge base and manipulated by the PSN interpreter. The interface provided with the Language uses windows, menus and Sunwindow text editing capabilities to facilitate the specification of ASL operations and the visualization of their results.

See at: CNR ExploRA


1986 Other Unknown
Transforming queries into canonical forms
Bertino E., Musto D.
A canonical form is defined for the relational algebra (RA) queries, which is a selection followed by a projection. We show that each RA query not containing the difference operator can be equivalently expressed by some union of canonical forms queries. Two classes of canonical are also introduced (called respectively D - and DO_canonical form), both of them satidfying some restrictions on the form of predicate in the selection. The relationship among the canonical form, the D_canonical form and the DO_canonical form queries are studied. In particular, each canonical form query is shown to have an equivalent D canonical form query. And each D_canonical form query is shown to be equivalent to some union of DO_canonical form queries.

See at: CNR ExploRA