ThinkMind // International Journal On Advances in Intelligent Systems, volume 4, numbers 3 and 4, 2011

Type: journal

Notes: A free access journal featuring works submitted on an invitation basis only.

Event editions: - there are 30 editions.

ISSN: 1942-2679

Articles: there are 29 articles

Optimal State Estimation under Observation Budget Constraints
Praveen Bommannavar and Nicholas Bambos
keywords: monitoring; surveillance; budget; resource allocation; dynamic programming; convexity; optimal estimation

Multilingual Ontology Library Generator for Smart-M3 Information Sharing Platform
Dmitry G. Korzun, Alexandr A. Lomov, Pavel I. Vanag, Sergey I. Balandin, and Jukka Honkola
keywords: Smart spaces; Smart-M3; OWL/RDF ontology; code generator; knowledge processor; low-performance devices

A Distributed Workflow Platform for High-Performance Simulation
Toan Nguyen and Jean-Antoine Desideri
keywords: workflows; fault-tolerance; resilience; simulation; distributed systems; high-performance computing

Opportunistic Object Binding and Proximity Detection for Multi-modal Localization
Maarten Weyn, Isabelle De Cock, Yannick Sillis, Koen Schouwaerts, Bruno Pauwels, Willy Loockx, and Charles Vercauteren
keywords: object binding, localization, opportunistic localization, multi-modal localization, Bluetooth, WSN, Wi-Fi, proximity detection

Semantic Matchmaking for Location-Aware Ubiquitous Resource Discovery
Michele Ruta, Floriano Scioscia, Eugenio Di Sciascio, and GIacomo Piscitelli
keywords: Ubiquitous Computing; Semantic Web; Resource Discovery; Matchmaking; Location-based Services; Human-Computer Interaction

Personalized Access to Contextual Information by using an Assistant for Query Reformulation
Ounas Asfari, Bich-Liên Doan, Yolaine Bourda, and Jean-Paul Sansonnet
keywords: Information Retrieval; Query Reformulation; Context; Task modeling; Personalization; user profile.

Modeling, Analysis and Simulation of Ubiquitous Systems Using a MDE Approach
Amara Touil, Makhlouf Benkerrou, Jean Vareille, Fred Lherminier, and Philippe Le Parc
keywords: Domain Specific Language; Model Driven Engineering; Ubiquitous Systems; Analysis; Simulation

Contextual Generation of Declarative Workflows and their Application to Software Engineering Processes
Gregor Grambow, Roy Oberhauser, and Manfred Reichert
keywords: application of semantic processing; domain-oriented semantic applications; automated workflow adaptation; situational method engineering; process-aware information systems; software engineering environments

Adding Self-scaling Capability to the Cloud to meet Service Level Agreements
Antonin Chazalet, Frederic Dang Tran, Marina Deslaugiers, Alexandre Lefebvre, Francois Exertier, and Julien Legrand
keywords: Cloud Computing; Autonomic Computing; Self- Scaling; Service Level Agreement; Virtualization; Open-source Middleware.

SERSCIS-Ont : Evaluation of a Formal Metric Model using Airport Collaborative Decision Making
Mike Surridge, Ajay Chakravarthy, Maxim Bashevoy, Joel Wright, Martin Hall-May, and Roman Nossal
keywords: adaptive metrics, SOA, measurements, constraints, QoS, discrete event simulation

Financial Business Cloud for High-Frequency Trading A Research on Financial Trading Operations with Cloud Computing
Arden Agopyan, Emrah Şener, and Ali Beklen
keywords: high-frequency trading, cloud computing, portability, cost-efficiency, financial business cloud.

Design and Evaluation of Description Logics based Recognition and Understanding of Situations and Activities for Safe Human-Robot Cooperation
Stephan Puls, Jürgen Graf, and Heinz Wörn
keywords: cognitive robotics, Description Logics, situation and action recognition, evaluation, human-robot cooperation

Adaptable Interfaces
Ken Krechmer
keywords: adaptable; interface; communications structure; measured information; etiquette

Interactive Rule Learning for Access Control: Concepts and Design
Matthias Beckerle
keywords: adaptivity, usability, access control, rule learning.

A Universal Model for Hidden State Observation in Adaptive Process Controls
Melanie Senn and Norbert Link
keywords: universal statistical process model; state prediction; regression analysis; dimension reduction; deep drawing

Behaviour-inspired Data Management in the Cloud
Dariusz Krol, Renata Slota, and Wlodzimierz Funika
keywords: cloud computing; data management; monitoring; behaviour patterns

Business-Policy driven Service Provisioning in HPC
Eugen Volk
keywords: Business-Policy; Job-Scheduling; Policy-based Management; Policy-refinement; Business-Driven IT Management; SBVR

Online Evolution in Dynamic Environments using Neural Networks in Autonomous Robots
Christopher Schwarzer, Florian Schlachter, and Nico K. Michiels
keywords: online evolution; incremental evolution; recurrent neural networks; swarm robotics; evolutionary robotics.

Animated Virtual Agents to Cue User Attention
Santiago Martinez, Robin Sloan, Andrea Szymkowiak, and Ken Scott-Brown
keywords: agents; digital interface; touch interface; computer animation; reaction time; eyetracking

A System-On-Chip Platform for HRTF-Based Realtime Spatial Audio Rendering With an Improved Realtime Filter Interpolation
Wolfgang Fohl, Jürgen Reichardt, and Jan Kuhr
keywords: Mixed-reality audio; realtime HRTF interpolation; filter decomposition; system-on-chip.

An Integrated Approach for Data- and Compute-intensive Mining of Large Data Sets in the GRID
Matthias Röhm, Matthias Grabert, and Franz Schweiggert
keywords: data-intensive; data mining; Grid; MapReduce; scheduling.

Towards an Approach of Formal Verification of Web Service Composition
Mohamed Graiet, Lazhar Hamel, Raoudha Maraoui, Mourad Kmimech, Mohamed Tahar Bhiri, and Walid Gaaloul
keywords: Web service; transactional; composition; Event-B; verification; proof;

Virtual Reality Technologies: A Way to Verify and Design Dismantling
Caroline Chabal, Jean-François Mante, and Jean-Marc Idasiak
keywords: virtual reality; dismantling operation; haptic interface; accessibility study; remote handling; collision detection; interactivity; real-time

An Event-based Communication Concept for Human Supervision of Autonomous Robot Teams
Karen Petersen and Oskar von Stryk
keywords: human-robot team interaction; supervisory control; situation overview; complex event processing; policies

A Virtual Navigation in a Reconstruction of the Town of Otranto in the Middle Ages for Playing and Education
Lucio Tommaso De Paolis De Paolis, Giovanni Aloisio Aloisio, Maria Grazia Celentano, Luigi Oliva Oliva, and Pietro Vecchio Vecchio
keywords: simulation; edutainment; Virtual Cultural Heritage; navigation; virtual treasure hunt

A Novel Graphical Interface for User Authentication on Mobile Phones and Handheld Devices
Sarosh Umar and Qasim Rafiq
keywords: User authentication, graphical password, mobile phone security, usability, security

Specification and Application of a Taxonomy for Task Models in Model-Based User Interface Development Environments
Gerrit Meixner, Marc Seissler, and Marius Orfgen
keywords: Task model; Taxonomy; useML; CTT; AMBOSS; Model-based User Interface Development; MBUID

Personality and Mental Health Assessment: A sensor-based approach to estimate personality and mental health
Javier Eguez Guevara, Ryohei Onishi, Hiroyuki Umemuro, Kazuo Yano, and Koji Ara
keywords: human behavior; sensory technology; mental health; personality

A Semi-Automatic Method for Matching Schema Elements in the Integration of Structural Pre-Design Schemata
Peter Bellström and Jürgen Vöhringer
keywords: Semi-automaic Schema Integration; Pre-Design; Schema Matching; Implementation Neutral Design