Selezione da: 1 a: 100    Documento accesso libero  Riservato  Protetto

        

	cnr.iei/2002-TR-001	Well-founded Semantics for Parametric Deductive Databases
	cnr.iei/2002-TR-002	Non-uniform hypotesis in deductive databases with uncertainty
	cnr.iei/2002-TR-003	Numerical experiments on blind separation of astrophysical maps by independent factor analysis
	cnr.iei/2002-TR-004	An integrated system for the analysis and the recognition of characters in ancient documents
	cnr.iei/2002-TR-005	Organizing Digital Libraries by Automated Text Categorization
	cnr.iei/2002-TR-006	A Recommendation System in a Collaborative Digital Library Environment
	cnr.iei/2002-TR-007	Metasearch: Rank vs. Score Based Rank List Fusion Methods (without Training Data)
	cnr.iei/2002-TR-008	Supervised term weighting for automated text categorization
	cnr.iei/2002-TR-009	Building Thematic Lexical Resources by Term Categorization
	cnr.iei/2002-TR-010	Skewed alpha-stable distributions for modelling textures
	cnr.iei/2001-A0-001	Fast fully data-driven image restoration by means of edge-preserving regularization
	cnr.iei/2001-A0-002	Scholnet and Cyclades: extending the role of digital libraries
	cnr.iei/2001-A0-003	Reasoning within fuzzy description logics
	cnr.iei/2001-A0-004	Enabling cuts on multiresolution representation
	cnr.iei/2001-A0-005	Preconditioned edge-preserving image deblurring and denoising
	cnr.iei/2001-A0-006	Cross-language system evaluation: the CLEF campaigns
	cnr.iei/2001-A0-007	Density parameter estimation of Skewed alfa-Stable distributions
	cnr.iei/2001-A0-008	Operative diagnosis of graph-based systems with multiple faults
	cnr.iei/2001-A0-009	A low cost 3D scanner based on structured light
	cnr.iei/2001-A0-010	Generating random points in a tetrahedon
	cnr.iei/2001-A0-011	Finite approximations for model checking non-finite-state processes
	cnr.iei/2001-A0-012	Formal validation of fault-tolerance mechanisms inside GUARDS
	cnr.iei/2001-A0-013	Correct and almost complete diagnosis of processor grids
	cnr.iei/2001-A0-014	Blur identification analysis in blind image deconvolution using Markov random fields
	cnr.iei/2001-A0-015	Data loggers to monitor activity in wild freshwater turtles
	cnr.iei/2001-A0-016	Time allocation and foraging pattern of chick-rearing razorbills in northwest iceland
	cnr.iei/2001-A0-017	Foraging behaviour and time allocation of chick-rearing Razorbills Alca torda at Graesholmen, central Baltic Sea
	cnr.iei/2001-A0-018	A model of multimedia information retrieval
	cnr.iei/2001-A0-019	Mapping pre- and post-fledging foraging locations of thick-billed murres in the North Water polynya
	cnr.iei/2001-A0-020	Evaluation of fault-tolerant multiprocessor systems for high assurance applications
	cnr.iei/2001-A0-021	An automatic evaluation of eye watching directions for ophthalmologic test
	cnr.iei/2001-A0-022	Multiresolution volume visualization with a texture-based octree
	cnr.iei/2001-A0-023	Generalized Coincident Pulse Technique and New Addressing Schemes for Pipelined Time-Division Multiplexing Optical Buses
	cnr.iei/2001-A0-024	A new hybrid broadcast scheduling algorithm for asymmetric communication systems
	cnr.iei/2001-A0-025	Texture evolution and rotational hardening in multiple slip plasticity -- a two dimensional study
	cnr.iei/2001-A0-026	Design validation of embedded dependable systems
	cnr.iei/2001-A0-027	A procedure to detect flaws inside large sized marble blocks by ultrasound
	cnr.iei/2001-A0-028	Report on the workshop on operational text classification systems (OTC-01)
	cnr.iei/2001-A0-029	Multiresolution volume visualization with a texture-based octree
	cnr.iei/2001-A0-030	Boosting algorithms for automated text categorization
	cnr.iei/2001-A0-031	Modelling SAR imaging of urban areas
	cnr.iei/2001-A1-001	Interactive query expansion with automatically generated category-specific thesauri
	cnr.iei/2001-A1-002	A learner-independent evaluation of the usefulness of statistical phrases for automated text categorization
	cnr.iei/2001-A1-003	Multilingual information access
	cnr.iei/2001-A1-004	Dependability Evaluation
	cnr.iei/2001-A1-005	Error processing and fault treatment
	cnr.iei/2001-A1-006	Formal Verification
	cnr.iei/2001-A1-007	Cross-language information retrieval and evaluation
	cnr.iei/2001-A2-001	The CLEF campaign
	cnr.iei/2001-A2-002	Marching intersections : an efficient resampling algorithm for surface management
	cnr.iei/2001-A2-003	A multilevel neural network model for density volumes classifications
	cnr.iei/2001-A2-004	Image segmentation as a preliminary step for character recognition in ancient printed documents
	cnr.iei/2001-A2-005	VandA: a metadata model for supporting new usages of historical audio-visual archives material
	cnr.iei/2001-A2-006	A data streaming based controller for real-time computer generated music
	cnr.iei/2001-A2-007	Blind source separation from noisy data using bayesian estimation and gibbs priors
	cnr.iei/2001-A2-008	CLIR evaluation at TREC
	cnr.iei/2001-A2-009	Limits of hearing aids in the high frequency range
	cnr.iei/2001-A2-010	Modelling images with alpha-stable textures
	cnr.iei/2001-A2-011	An automatic quality evaluation for natural language requirements
	cnr.iei/2001-A2-013	3D scanning the Minerva of Arezzo
	cnr.iei/2001-A2-014	An ultrasound based technique for the detection and classification of flaws inside large sizes marble or stone structural elements
	cnr.iei/2001-A2-015	Using slicing to identify duplication in source code
	cnr.iei/2001-A2-016	An efficient method to map a regular mesh into a 3D neural network
	cnr.iei/2001-A2-017	Modeling and analysis of the behavior of GPRS systems
	cnr.iei/2001-A2-018	Analysis of the effects of outages on the quality of service of GPRS network systems
	cnr.iei/2001-A2-019	Tuning of database audits to improve scheduled maintenance in communication systems
	cnr.iei/2001-A2-020	Analysis and estimation of the quality of service of group communication protocols
	cnr.iei/2001-A2-021	Towards optimal database maintenance in wireless communication systems
	cnr.iei/2001-A2-022	An automated test strategy based on UML diagrams
	cnr.iei/2001-A2-023	An explorative journey from architectural tests definition downto code tests execution
	cnr.iei/2001-A2-024	Cross-language information retrieval: recent trends
	cnr.iei/2001-A2-025	CoWTest: a cost weighted test strategy
	cnr.iei/2001-A2-026	Modeling event-driven real-time applications using DAGs
	cnr.iei/2001-A2-027	Model checking of unrestricted hierarchical state machines
	cnr.iei/2001-A2-028	Tool demonstration: finding duplicated code using program dependences
	cnr.iei/2001-A2-029	Debugging via run-time type checking
	cnr.iei/2001-A2-030	Managing software suppliers: an experience of process assessment in automotive
	cnr.iei/2001-A2-031	The linguistic approach to the natural language requirements quality: benefit of the use of an automatic tool
	cnr.iei/2001-A2-032	Animating cuts with on-the-fly re-meshing
	cnr.iei/2001-A2-033	An easy-to-use visualization system for huge cultural heritage meshes
	cnr.iei/2001-A2-034	Laser scanning for shape measurements
	cnr.iei/2001-A2-035	Searching documentary films on line: the ECHO Digital Library
	cnr.iei/2001-A2-036	Similarity Search in Metric Databases through Hashing
	cnr.iei/2001-A2-037	Optimal tree access by elementary and composite templates in parallel memory systems
	cnr.iei/2001-A2-038	A new hybrid broadcast scheduling algorithm for asymmetric communication systems: push and pull data based on optimal cut-off point
	cnr.iei/2001-A2-039	An approach for 3D volumes matching
	cnr.iei/2001-A2-040	Feedback control of a masonry vault
	cnr.iei/2001-A2-041	Moving boundaries in polycrystals---lattice curvature effects
	cnr.iei/2001-A2-042	Stability of discontinuities in polycrystals
	cnr.iei/2001-A2-043	Numerical evaluation of the synthesis control function for an actively reinforced masonry vault
	cnr.iei/2001-A2-044	A structured metadata model for supporting new audio-visual cataloguing
	cnr.iei/2001-A2-045	Wireless technology in gesture controlled computer generated music
	cnr.iei/2001-A2-046	Smart MIDI interface: how it works and user guide
	cnr.iei/2001-A2-047	Comparison-based system-level fault diagnosis in Ad Hoc networks
	cnr.iei/2001-A2-048	A suite of tools for the management of 3D scanned data
	cnr.iei/2001-A3-001	Wireless Technolgy in Art. Systems for interactive music performance
	cnr.iei/2001-A3-002	Texture evolution of continua with single crystal microstructure
	cnr.iei/2001-A3-003	Distributed control for the heavy chain
	cnr.iei/2001-A3-004	Multivariable theories versus (or cum) multifield theories
	cnr.iei/2001-A3-005	Elastic waves in materials with thin layers