1.Home Page About Journal Editorial Board Calls for Papers For Authors Subscription All Volumes Special Issues Overview Papers Contact Volume 24 (2000) No 1No 2No 3No 4Contents Volume 24, Number 1, 2000 pdf, 12.2 MB Extensive Interaction Support in Distance Education Systems Utilizing Action History Views Yahiko Kambayashi, Akihiro Hatanaka, Akira Okada, Madoka Yuriyama An Architecture and the Related Mechanisms for Web-based Global Cooperative Teamwork Support Yun Yang Access Skew Detection for Dynamic Database Relocation Toyokazu Akiyama, Takahiro Hara, Kaname Harumoto, Masahiko Tsukamoto and Shojiro Nishio On Incremental Global Update Support in Cooperative Database Systems Chengfei Liu Performance Improvements of Thakore's Algorithm with Speculative Execution Technique and Dynamic Task Scheduling Takahiro Sasaki, Tetsuo Hironaka and Seiji Fujino An Ontological Mathematical Framework for Electronic Commerce and Semantically-Structured Web Vladimir A. Fomichov A Technique of Watermarking for Digital Images Using (t,n) <\it>-Threshold Scheme Chin-Chen Chang and Pei-Fang Chung A Framework for Query Formulation Aid in a Multi-user Environment Mourad Oussalah and Abdelhak Seriai Evaluating Word Similarity in a Semantic Network Masanobu Kobayashi, Xiaoyong Du and Naohiro Ishii STepLib: a Spatio Temporal Digital Library Claudio de Souza Baptista, Zarine Kemp Is Consciousness not a Computational Property? --- Response to Caplain Damjan Bojadziev Is Consciousness not a Computational Property? --- Reply to Bojadžiev Gilbert Caplain Characterization Results for the Poset... Luca Forlizzi and Enrico Nardelli ViCRO: An Interactive and Cooperative VideoRecording... Giancarlo Fortino and Libero Nigro Computing Multidimensional Aggregates in Parallel Weifa Liang and Maria E. Orlowska Fractal Geometry for Natural-Looking Tree Generation I.A.R. Moghrabi and Farid Raidan Elementary sets and declarative biases in a restricted gRS--ILP model Arul Siromoney and Katsushi Inoue Contents Volume 24, Number 2, 2000 pdf, 12.0 MB Time Pressure Impacts on Electronic Brainstorming in a Group Support System Environment Jay E. Aronson, Robert M. Myers and Robert B. Wharton Facilitating and Coordinating Distributed Joint Applications Development James Suleiman, Roberto Evaristo, Gigi G. Kelly A Discussion on Process Losses in GSS: Exploring the Consensus Gap Wm. Benjamin Martz, Jr. Factors Affecting the Use, Adoption and Satisfaction with Groupware Marion G. Sobol and Mary Anne Winniford An Empirical Study to Measure the Diffusion of GroupSystems in Organizations Morgan M. Shepherd Recycling Decision Trees in Numeric Domains Miroslav Kubat Bitmap R-trees C.H. Ang, S.T. Tan, and T.C. Tan The Polling Primitive for Computer Networks Andrzej Czygrinow, Michal Karonski and Vaidy Sunderam Strategic IS Planning From the Slovenian Business Perspective Andrej Kovacic, Ales Groznik, Jurij Jaklic, Mojca Indihar Stemberger, Talib Damij, Janez Grad, Miro Gradisar and Tomaz Turk Application Modeling and Concurrency Control in Active DBMS: A Survey Prithwish Kangsabanik, R. Mall and A.K. Majumdar Linear Algebra in One-Dimensional Systolic Arrays Gregor Papa and Jurij Silc Performance Evaluation of a Hybrid ATM Switch Architecture by Parallel Discrete Event Simulation Csaba Lukovszki, Robert Szabo and Tamas Henk Overview of Consciousness Research Imants Barušs Recursion of Logical Operators and Regeneration of Discrete Binary Space Jeremy Horne Contents Volume 24, Number 3, 2000 pdf, 11.7 MB Attribute Grammars as Record Calculus - A Structure-Oriented Denotational Semantics of Attribute Grammars by Using Cardelli's Record Calculus Katsuhiko Gondow and Takuya Katayama Reference Attributed Grammars Görel Hedin Multiple Attribute Grammar Inheritance Marjan Mernik, Mitja Lenic, Enis Avdicausevic and Viljem Zumer First-class Attribute Grammars Oege de Moor, Kevin Backhouse and S.Doaitse Swierstra Equational Semantics Loïc Correnson Two-dimensional Approximation Coverage Jörg Harm and Ralf Lämmel A Multi-phase Parallel Algorithm for the Eigenelements Problem Abdelhamid Benaini and David Laiymani DD-Mod: A library for distributed programming Jesús M. Milán-Franco, Ricardo Jiménez-Peris and Marta Patiño-Martínez A Technique for Computing Watermarks from Digital Images Chin-Chen Chang and Chwei-Shyong Tsai A Program-Algebraic Approach to Eliminating Common Subexpressions James M. Boyle and R. Daniel Resler An Assessment of Incomplete-LU Preconditioners for Nonsymmetric Linear Systems John R. Gilbert, Sivan Toledo Contents Volume 24, Number 4, 2000 pdf, 9.89 MB An Automatically Refereed Scholarly Electronic Journal: Formal Specifications

作　　者：Stefano Mizzaro ;Paolo Zandegiacomo Rizio

出　　处：Informatica. 2000 ;24(1.).

出版社：The Slovene Society Informatika, Ljubljana

文章 ID：85482890

文章详细全文下载
2.An Automatically Refereed Scholarly Electronic Journal: Formal Specifications

作　　者：Stefano Mizzaro ;Paolo Zandegiacomo Rizio

出　　处：Informatica. 2000 ;24(4):431-438.

出版社：The Slovene Society Informatika, Ljubljana

文章 ID：85482902

文章详细全文下载
3.Human-in-the-loop Artificial Intelligence for Fighting Online Misinformation: Challenges and Opportunities

作　　者：Gianluca Demartini ;Stefano Mizzaro ;Damiano Spina

出　　处：Bulletin of the Technical Committee on Data Engineering. 2020 ;43(3):65-74.

出版社：IEEE Computer Society

文章 ID：259400927

文章详细全文下载

	图书馆学	2篇
	情报学	2篇
	计算技术、计算机技术	1篇

	葡萄牙语	2篇
	英文	1篇

	阿根廷	2篇
	美国	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Stefano Mizzaro")))) )) ) )"

	Stefano Mizzaro	3篇
	Paolo Zandegiacomo Rizio	2篇
	Damiano Spina	1篇
	Gianluca Demartini	1篇

	Informatica	2篇
	Bulletin of the Technical Committee on Data Engineering	1篇

	2020	1篇
	2000	2篇