Computer and information sciences topic list of research papers
-
Design of Problem-based with Scaffolding Learning Activities in Ubiquitous Learning Environment to Develop Problem-solving Skills
Abstract These objectives the study were to 1) design of problem-based with scaffolding learning activities in ubiquitous learning environment to develop problem-solving skills, The design used a problem-based learning process and scaffolding...
2014 / Noppadon Phumeechanya, Panita Wannapiroon -
Efficient schemes for nearest neighbor load balancing
Abstract We design a general mathematical framework to analyze the properties of nearest neighbor balancing algorithms of the diffusion type. Within this framework we develop a new Optimal Polynomial Scheme (OPS) which we show to terminate within a...
2003 / Ralf Diekmann, Andreas Frommer, Burkhard Monien -
Automatic Change Detection in Very High Resolution Images With Pulse-Coupled Neural Networks2009 / Fabio Pacifici, Fabio Del Frate
-
Medical Image Watermarking Technique in the Application of E- diagnosis Using M-Ary Modulation
Abstract A robust and lossless ROI medical image watermarking technique using M-Ary modulation is proposed in this paper. The system's effectiveness is experimentally tested for two different medical image modalities of brain using various quality...
2016 / Rituagrawal, Manisha Sharma -
A Mode Shifting Resource Allocation Scheme for Device-to-Device Underlaying Cellular Network
Abstract Device-to-Device (D2D) communication underlaying a cellular network is a promising technique, and it has recently been proposed for booming local services, which will greatly improve system capacity by sharing the same resource blocks of...
2013 / Junshu Gao, Xuewen Liao, Jianguo Deng, Pinyi Ren -
Computation by Switching in Complex Networks of States2012 / Fabio Schittler Neves, Marc Timme
-
A Generic Layered Architecture for Context Aware Applications
Abstract As pervasive computing is at its preliminary stage a number of computing solutions were proposed and more are still under experimentation. In this paper a four layered generic architecture is proposed with a recommended components so as to...
2014 / Beza Mamo, Dejene Ejigu -
Human Positioning Estimation Method Using Received Signal Strength Indicator (RSSI) in a Wireless Sensor Network
Abstract Wireless sensor networks continue to advance due to the recent dramatic progress in sensor devices. The innovative use of the received signal strength indicator (RSSI) will yield new applications in human position estimation, an important...
2014 / Kimio Oguchi, Shou Maruta, Dai Hanawa -
Access-Pattern Aware Checkpointing Data Storage Scheme for Mobile Computing Environment
Abstract The rapid development of communication technology and mobile devices has facilitated the mobile computing applications such as location-based services, and information sharing. Characteristics of the mobile computing system, such as the...
2014 / Xiang Li, Mei Yang, ChaoGuang Men, YingTao Jiang, Kalum Udagepola -
Using AOP to bring a project back in shape: The OurGrid case2010 / Ayla Dantas, Walfredo Cirne, Katia Saikoski
-
Minimum interference routing with fast protection2006 / E. Calle, A. Urra, J.L. Marzo, Geng-Sheng Kuo, Hai-Bo Guo
-
Counter Rotating Slotted Ring: A New Architecture for Ring MANs
Abstract In this paper, we describe and analyze a new architecture for ring Metropolitan Area Networks (MANs): Counter Rotating Slotted Ring (CRSR). CRSR consists of two unidirectional rings shared among the network stations. Both the rings have...
2013 / Mohammed Ilyas, Sam Hsu, Kwok Choi -
Validating an agent-based model of the Zipf׳s Law: A discrete Markov-chain approach
Abstract This study discusses the validation of an agent-based model of emergent city systems with heterogeneous agents. To this end, it proposes a simplified version of the original agent-based model and subjects it to mathematical analysis. The...
2014 / Bruno Gaujal, Laszlo Gulyas, Yuri Mansury, Eric Thierry -
Gossiping Based Distributed Plan Monitoring
Abstract Joint plan execution is gaining momentum due to its benefits in terms of cost effectiveness and operational agility. In this paper, we introduce a lightweight gossip based multi-agent distributed protocol for plan execution monitoring in a...
2013 / Andrei Soeanu, Sujoy Ray, Mourad Debbabi, Mohamad Allouche, Jean Berger -
If, not when
Abstract We present a logic of verified and unverified assertions and prove it sound and complete with respect to its possible-worlds semantics. The logic, a constructive modal logic, is motivated by considerations of the interpretation of...
2014 / Dick Crouch, Valeria de Paiva -
Self-Test Components for Highly Reconfigurable Systems
Abstract Verification of component-based systems presents new challenges not yet completely addressed by existing testing techniques. This paper proposes a new approach for automatically testing highly reconfigurable component-based systems, i.e.,...
2004 / Giovanni Denaro, Leonardo Mariani, Mauro Pezzè -
A Revision of Coding Theory for Learning from Language
Abstract Elements of a quantitative-symbolic theory of human language communication based on power-law entropic sublinearity are induced from independent results in quantitative linguistics, statistical NLP, information theory, plectics,...
2005 / -
A Model for the Delay Management Problem based on Mixed-Integer-Programming
Abstract Dealing with delayed vehicles is a necessary issue in the dispositive work of a public transportation company. If a vehicle arrives at some station with a delay, it has to be decided if the connecting vehicles should wait for changing...
2004 / Anita Schöbel -
A CuCh Interpretation of an Object-Oriented Language1 1Partially supported by MURST Cofin '99 TOSCA.
Abstract Böhm's CuCh machine extends the pure lambda-calculus with algebraic data types and provides the possibility of defining functions over disjoint sums of algebras. We exploit such natural form of overloading to define a functional...
2004 / Viviana Bono, Ivano Salvo -
Towards Model-Driven Testing1 1Research partially supported through the European Research Training Network Segra Vis (on Syntactic and Semantic Integration of Visual Modelling Techniques)
Abstract The OMG's Model-Driven Architecture is a strategy towards interoperability across heterogeneous middleware platforms through the reuse of platform independent designs based on the distinction of, and transformation between,...
2004 / Reiko Heckel, Marc Lohmann