NDLI: Combination of decomposability and propagation for solving first-order constraints in decomposable theories

Please wait, while we are loading the content...

Special track on Advances in Computer Simulation (ACS): editorial message

Coordination schemes in distributed simulation of relativistic particle transport

Special track on Agent-oriented Programming, Systems, Languages, and Applications (APSLA): editorial message

A multi-agent system for the support of producer coalition formation in electricity markets

Special track on Coordination Models, Languages and Architectures: editorial message

Preserving coordination properties when transforming concurrent system components

An efficient algorithm for a sharp approximation of universally quantified inequalities

Nested temporal networks with alternatives: recognition and tractability

Special track on Object-Oriented Languages and Systems: editorial message

Special track on Programming Languages: editorial message

Special track on Programming for Separation of Concerns: editorial message

A decision model for implementing product lines variabilities

Special track on Real-Time Systems: editorial message

Strategies for QoS improvement on the time-interval scheduling

Special track on Software Verification: editorial message

Special track on Document Engineering: editorial message

Information extraction from scanned documents by stochastic page layout analysis

Special track on Engineering Large-Scale Distributed Systems: editorial message

Special track on Middleware Engineering (ME): editorial message

COSMOS: a middleware platform for sensor networks and a u-healthcare service

Special track on Organizational Engineering: editorial message

Partnering structure definition for networked businesses

Special track on Requirements Engineering: editorial message

A requirements specification case study with ProjectIT-studio/requirements

Message from the software engineering track chairs: editorial

A case-based reasoning approach for materializing software architectures onto object-oriented designs

Track on Advances in Spatial and Image-Based Information Systems (ASIIS): editorial message

Frequent pattern mining for kernel trace data

Imputation-boosted collaborative filtering using machine learning classifiers

Special track on Data Streams: editorial message

Special track on Database Theory, Technology, and Applications: editorial message

An algorithm for effective deletion and a new optimization technique for metric access methods

Special track on Enterprise Information Systems: editorial message

Adaptive data anonymization against information fusion based privacy attacks on enterprise data

Special track on Information Access and Retrieval: editorial message

A light-weight feedback method for reconstructing a document vector space on a feature extraction model

Special track on Multimedia and Visualization track: editorial message

Visualization of rule-based programming

Special track on Bioinformatics: editorial message

Discrete wavelet transform-based multivariate exploration of tissue via imaging mass spectrometry

Special track on Computer Applications in Health Care: editorial message

Selecting beam directions in radiotherapy with an evolutionary algorithm

Application of divide-and-conquer algorithm paradigm to improve the detection speed of high interaction client honeypots

Logical and physical data collection of Windows CE based portable devices

Special track on e-business applications: editorial message

Building secure e-business systems: technology and culture in the UAE

Special track on Embedded Systems: Applications, Solutions, and Techniques: editorial message

Control flow checking and recovering based on 8051 architecture

Learning to identify emotions in text

A Farsi part-of-speech tagger based on Markov model

A hybrid real-time component model for reconfigurable embedded systems

Template design and automatic generation of controllers for industrial robots

Special track on Ubiquitous Computing: Ubiquitous and Pervasive eCommerce and eBusiness: editorial message

Context distribution for supporting composition of applications in ubiquitous computing

Special track on Autonomic Computing: editorial message

Special track on Artificial Intelligence in Space Applications: editorial message

Special track on Adaptive Techniques in Operating Systems: editorial message

PreeMe: preemptive real-time task management for event-driven sensor operating systems

Combination of decomposability and propagation for solving first-order constraints in decomposable theories

Revisiting exact combinational circuit synthesis

Special track on Applications of Evolutionary Computation: editorial message

A genetic algorithm for sensor deployment based on two-dimensional operators

Special track on Geometric Constraints and Reasoning: editorial message

A constraint hierarchies approach to geometric constraints on sketches

Special track on Mobile Agents and Systems: editorial message

Supporting the development of context-aware agent-based systems for mobile networks

Special track on Mobile Computing and Applications: editorial message

An infrastructure for developing context aware applications in pervasive environments

A study of terrain coverage models

Self and non-self discrimination agents

Fourth special track on Trust, Recommendations, Evidence and other Collaboration Know-how (TRECK'08): editorial message

Track on Computer Networks: editorial message

Special track on Computer Security: editorial message

Special track on Dependable and Adaptive Distributed Systems: editorial message

SSCM: middleware for structure-based service collaboration

Special track on the Semantic Web and Applications: editorial message

C-SAW---contextual semantic alignment of ontologies: using negative semantic reinforcement

Special track on Web Technologies: editorial message

Agent-based simulation of electronic marketplaces with decision support

RePart: a reputation-based simulation tool for partnership formation

Contextualizing normative open multi-agent systems

Workflow management versus case handling: results from a controlled software experiment

Using process algebra to control the execution of business processes

Splitting heuristics for disjunctive numerical constraints

A small extension to Java for class refinement

The architecture and design of a malleable object-oriented prolog engine

Symbiosis in logic-based pointcuts over a history of join points

Securing aspect composition

The utilization bound of uniprocessor preemptive slack-monotonic scheduling is 50%

Slack time evaluation with RTSJ

Reachability analysis of generalized polygonal hybrid systems

An objective way to evaluate and compare binarization algorithms

A strategy for memory traffic management of bitmap fonts for text visualization in mobile devices

Extending peer-to-peer networks for approximate search

Context-aware middleware architecture for vertical handover support to multi-homed nomadic mobile services

Exploiting semantic information on a message exchanging middleware

Designing IC structures by variety engineering

A novel modeling language for tool-based business process engineering

Toward quality requirements analysis based on domain specific quality spectrum

A requirements refinement framework

Automatic feedback, control-based, stress and load testing

A method for defining the implementation order of software projects under uncertainty

Selectivity estimation in spatial networks

A hierarchical model-based approach to co-clustering high-dimensional data

Anomaly detection algorithms in logs of process aware systems

Continuous k-dominant skyline computation on multidimensional data streams

Managing data quality in a terabyte-scale sensor archive

Conversion of generalization hierarchies and union types from extended entity-relationship model to an XML logical model

MDSD light for ERP

Information systems implementation: the big picture

XEdge: clustering homogeneous and heterogeneous XML documents using edge summaries

On filtering irrelevant results in peer-to-peer search

A new approach for interactive semantic image retrieval using the high level semantics

CReF: a central-residue-fragment-based method for predicting approximate 3-D polypeptides structures

Population genetics of human copy number variations: models and simulation of their evolution along and across the genomes

The virtual reality challenges in the health care area: a panoramic view

Automated segmentation and volumetric analysis of brain components on MR imaging

Mining spam email to identify common origins for forensic application

Implementing secure document circulation: a prototype

Flash memory management based on predicted data expiry-time in embedded real-time systems

Using traditional loop unrolling to fit application on a new hybrid reconfigurable architecture

Knowledge-free discovery of domain-specific multiword units

Scara3D: 3-Dimensional HRI integrated to a distributed control architecture for remote and cooperative actuation

A space-identifying ubiquitous infrastructure and its application for tour-guiding service

Supporting multimedia capture in mobile computing environments through a peer-to-peer platform

Towards an ASSL specification model for NASA swarm-based exploration missions

An onboard knowledge representation tool for satellite autonomous applications

Kernel-mode scheduling server for CPU partitioning: a case study using the Windows research kernel

Spatially non-homogeneous potts model parameter estimation on higher-order neighborhood systems by maximum pseudo-likelihood

Texture feature extraction and description using fuzzy set of main dominant directions of variable scales in content-based medical image retrieval

A performance comparison of PSO and GA in scheduling hybrid flow-shops with multiprocessor tasks

Elements for a modular dynamic geometry system

Computing the real variety of an ideal: a real algebraic and symbolic-numeric algorithm

A novel protocol to prevent malicious nodes from misdirecting forward ants in AntNet algorithm

Improving network management with mobile agents in peer-to-peer networks

A location-aware information browser implemented on BREW-based mobile phones

Context addressing using context-aware flooding

Fast self-healing gradients

Propagating multitrust within trust networks

Scheduling grid tasks under uncertain demands

The tale of the weather worm

Conflict-aware load-balancing techniques for database replication

A pattern-driven security process for SOA applications

Ontology-based WOM extraction service from weblogs

Context-aware information retrieval on a ubiquitous medical learning environment

Web page genre classification

Emerging cooperation in a public goods game with competition

Generation of continuous random networks by simulated annealing

Profile based comparative analysis for AOSE methodologies evaluation

Model and infrastructure for decentralized workflow enactment

Decentralized coordination strategies for the vehicle routing problem

Universal concurrent constraint programing: symbolic semantics and applications to security

Integrating coercion with subtyping and multiple dispatch

Integrating Java and Prolog through generic methods and type inference

Énfasis: a model for local variable crosscutting

A wireless hybrid contention/TDMA-based MAC for real-time mobile application

On the meaning of modes in uniprocessor real-time systems

Reachability analysis using multiway decision graphs in the HOL theorem prover

A generic XML language for characterising objects to support digital preservation

Perspective rectification of camera-based document images using local linear structure

Knowledge-based semantic clustering

Middleware of Taiwan UniGrid

Enterprise ontology based splitting and contracting of organizations

Organizational modeling with a semantic wiki

Capturing business transaction requirements in use case models

PHALANX: a graph-theoretic framework for test case prioritization

Formal definition of measures for UML statechart diagrams using OCL

Aggregation languages for moving object and places of interest

Semi-supervised visual clustering for spherical coordinates systems

A new algorithm for data discretization and feature selection

Deciding what to observe next: adaptive variable selection for regression in multivariate data streams

Adaptive weighted multi-criteria fuzzy query processing for web based real estate applications

Events must be complete in event processing!

Designing interaction behaviour in service-oriented enterprise application integration

Trajectory retrieval with latent semantic analysis

Making colors worth more than a thousand words

FlagelLink: a decision support system for distributed flagellar data using data warehouse

Accessing and aggregating legacy data sources for healthcare research, delivery and training

Pathological voice discrimination based on entropy measurements

Using simplified event calculus in digital investigation

Advanced preference query processing for e-commerce

Exploiting program cyclic behavior to reduce memory latency in embedded processors

Filtering drowsy instruction cache to achieve better efficiency

$G^{con}:$ a graph-based technique for resolving ambiguity in query translation candidates

A new approach to control a population of mobile robots using genetic programming

Service sharing with trust in pervasive environment: now it's time to break the jinx

Autonomic management policy specification in Tune

Applying case-based reasoning in the evolution of deforestation patterns in the Brazilian Amazonia

A group management scheme for an efficient location-based service

Neural network based systems for computer-aided musical composition: supervised x unsupervised learning

Restoration of vibro-acoustography images

Fuzzy and neuro-fuzzy estimates of the total height of eucalyptus trees

Isometry group, words and proofs of geometric theorems

Web service access management for integration with agent systems

System level power profile analysis and optimization for smart cards and mobile devices

CityWalker: a mobile GPS for walking travelers

Synchronization of strongly pulse-coupled oscillators with refractory periods and random medium access

Tag-aware recommender systems by fusion of collaborative filtering algorithms

Interacting urns processes: for clustering of large-scale networks of tiny artifacts

TCM-KNN scheme for network anomaly detection using feature-based optimizations

Modelling adaptive services for distributed systems

On the control of adaptation in ubiquitous computing

Semantic web services selection improved by application ontology with multiple concept relations

Towards the generation of explanations for semantic web services in OWL-S

Modeling and verifying BPEL using synchronized net

A vehicular waiting time heuristic for dynamic vehicle routing problem

Dynamic resource allocation heuristics for providing fault tolerance in multi-agent systems

Towards trace semantics for WS-CDL with alignments

EPML: an executable process modeling language for process-aware applications

Modeling adversary scheduling with $QCSP^{+}$

Runtime concepts for the $C_{++}$ standard template library

Optimizing code through iterative specialization

Extending omniscient debugging to support aspect-oriented programming

Multiprocessor frequency locking for real-time task synchronization

A framework for performance evaluation and functional verification in stochastic process algebras

An efficient feature ranking measure for text categorization

A pull-based e-mail architecture

Decentralized web service orchestration: a reflective approach

Integrating goal modeling and execution in adaptive complex enterprises

Checking the alignment of value-based business models and IT functionality

Collaborative software engineering on large-scale models: requirements and experience in ModelBus

Using formal methods to develop a complex information system: a practical/theoretical experience

A clustering-based approach for discovering interesting places in trajectories

Using unlabeled data to handle domain-transfer problem of semantic detection

Data stream mining for market-neutral algorithmic trading

Introducing self-adaptability into transaction processing

A lifecycle approach to SOA governance

Evaluating uncertain location-based spatial queries

k-means discriminant maps for data visualization and classification

Computing H/D-exchange speeds of single residues from data of peptic fragments

ST-guide: a framework for the implementation of automatic clinical guidelines

A fast and effective method to detect multiple least significant bits steganography

Increasing trust through the use of 3d e-commerce environment

A reliable B-tree implementation over flash memory

When a mismatch can be good: large vocabulary speech recognition trained with idealized tandem features

Optical flow using color information: preliminary results

Multi-purpose proactive m-Artifacts

A reusable object-oriented design to support self-testable autonomic software

Atmospheric temperature retrieval from satellite data: new non-extensive artificial neural network approach

Secure deletion for NAND flash file system

General type-2 fuzzy classifiers to land cover classification

Empirical evaluation of a new structure for AdaBoost

Evaluating genetic algorithms with different population structures on a lot sizing and scheduling problem

A continuous facility location problem and its application to a clustering problem

Percolation analyses in a swarm based algorithm for shortest-path finding

An audio wiki supporting mobile collaboration

Supporting self-organization for hybrid grid resource scheduling

The effect of correlation coefficients on communities of recommenders

Sensor stream reduction for clustered wireless sensor networks

Privacy preservation services: challenges and solutions

SIPRe: a partial database replication protocol with SI replicas

Designing semantic web services using conceptual model

A programming environment for web services

A framework for execution and 3D visualization of situated cellular agent based crowd simulations

Traceability and completeness checking for agent-oriented systems

Data sharing vs. message passing: synergy or incompatibility?: an implementation-driven case study

Lambda functions for C++0x

Improving flow-insensitive solutions for non-separable dataflow problems

On to formal semantics for path expression pointcuts

Scheduling distributable real-time threads in the presence of crash failures and message losses

Type-based information flow analysis for bytecode languages with variable object field policies

Author identification using writer-dependent and writer-independent strategies

Processing complex similarity queries in peer-to-peer networks

Dynamic support to transactional remote invocations over multiple transports

Redesigning business networks: reference process, network and service map

Elaboration of use case specifications: an approach based on use case fragments

Using adaptive distinguishing sequences in checking sequence constructions

Aggregate similarity queries in relevance feedback methods for content-based image retrieval

Borderline detection by Bayes vector quantizers

Using association rules for energy conservation in wireless sensor networks

Accurate histogram-based XML summarization

Enterprise systems modeling: the ERP5 development process

Entity ranking in Wikipedia

Digital audio watermarking evaluation within the application field of perceptual hashing

BOLOS: BLAST & Ontology Linked-hOmologue Stars

Segmentation technique for detecting suspect masses in dense breast digitized images as a tool for mammography CAD schemes

Towards a complete SCM ontology: the case of ontologising RosettaNet

VHDL vs. Bluespec system verilog: a case study on a Java embedded architecture

Ontology-based utterance interpretation for intelligent conversational interfaces

An intelligent editor for multi-presentation user interfaces

Implementing an autonomic architecture for fault-tolerance in a wireless sensor network testbed for at-scale experimentation

Restoring images with a multiscale neural network based technique

A self-balancing striping scheme for NAND-flash storage systems

Using the RRT algorithm to optimize classification systems for handwritten digits and letters

Dynamically tuning the population size in particle swarm optimization

An algorithm for the tracing problem using interval analysis

A generic mobile agent framework for ambient intelligence

Adaptive caching with heterogeneous devices in mobile peer to peer network

Autonomic trust reasoning enables misbehavior detection in OLSR

On the design and performance evaluation of notification support for P2P-based network management

Control of system calls from outside of virtual machines

Model-driven development of component-based adaptive distributed applications

Pattern ranking for semi-automatic ontology construction

Consistent privacy preferences (CPP): model, semantics, and properties

A statistical approach for prediction of projects based on simulation

Decision-making coordination in collaborative product configuration

Pentagons: a weakly relational abstract domain for the efficient validation of array accesses

Efficient compilation of Lua for the CLR

Evaluation of priority based real time scheduling algorithms: choices and tradeoffs

Certifying an embedded remote method invocation protocol

Crime scene classification

Towards a service-based middleware layer for runtime environments

Enterprise architecture governance: the need for a business-to-IT approach

Requirements engineering process improvement: a knowledge transfer experience

Modular Java web applications

Spatial vagueness and imprecision in databases

Privacy-preserving link discovery

Cluster-based novel concept detection in data streams applied to intrusion detection in computer networks

XBird/D: distributed and parallel XQuery processing using remote proxy

A model-based semi-quantitative approach for evaluating security of enterprise networks

A predictive framework for retrieving the best answer

Towards automatic feature vector optimization for multimedia applications

OrthoSearch: a scientific workflow approach to detect distant homologies on protozoans

Encephalic NMR image analysis by textural interpretation

PFFS: a scalable flash memory file system for the hybrid architecture of phase-change RAM and NAND flash

A method for semantics-based conceptual expansion of ontology

Supporting ethnographic studies of ubiquitous computing in the medical grand round experience

Expected energy consumption minimization in DVS systems with discrete frequencies

Face recognition using DCT coefficients selection

A GA-based feature selection and parameters optimization for support vector regression applied to software effort estimation

Combining symbolic and numerical solvers to simplify indecomposable systems solving

Secured tag identification using EDSA (enhanced distributed scalable architecture)

Whom should I trust?: the impact of key figures on cold start recommendations

A bandwidth management scheme support for real-time applications in wireless mesh networks

An inference system for detecting firewall filtering rules anomalies

A framework for dependable QoS adaptation in probabilistic environments

Web service security management using semantic web techniques

Query by example for web services

Large-scale simulation of V2V environments

A formal architectural model for exception handling coordination

Applying markup language resources in the specification of visual alphabets and visual sentences

Towards a model-driven engineering approach for developing embedded hard real-time software

An improved approach for set-associative instruction cache partial analysis

Stacked dependency networks for layout document structuring

User interface derivation from business processes: a model-driven approach for organizational engineering

Proposing metrics of difficulty of domain knowledge using usecase diagrams

An environment for the rapid development of embedded file systems

Using ambiguity measure feature selection algorithm for support vector machine classifier

Usage-based ranking of distributed XML data

Semantic mapping and K-means applied to hybrid SOM-based document organization system construction

Handle local optimum traps in CBIR systems

Mining disease-specific molecular association profiles from biomedical literature: a case study

Borboleta: a mobile telehealth system for primary homecare

Hierarchical memory system design for a heterogeneous multi-core processor

A nervous system model for direct dynamics animation control based on evolutionary computation

Interoperability testing of a MANET routing protocol using a node self-similarity approach

Surework: a super-peer reputation framework for p2p networks

Evaluating the partial deployment of an AS-level IP traceback system

A cost-driven approach to role engineering

Performability evaluation of mobile client-server systems

A system for modal and deontic defeasible reasoning

Agent and ontology based information gathering on restricted web domains with AGATHE

Electricity market simulation: multiagent system approach

Framework composition conformance via refinement checking

Implementing Java modeling language contracts with AspectJ

A behavior priority driven approach for resource reservation scheduling

Removing useless variables in cost analysis of Java bytecode

A language-independent, open-vocabulary system based on HMMs for recognition of ultra low resolution words

An integrated view on business- and IT-architecture

Using annotations in the naked objects framework to explore data requirements

SPEM on test: the SODA case study

An anomaly intrusion detection method using the CSI-KNN algorithm

Online detection of malicious data access using DBMS auditing

Towards temporal web search

Semi-supervised dimensionality reduction in image feature space

Strangeness-based feature weighting and classification of gene expression profiles

Compressing electrocardiogram signals using parameterized wavelets

Dynamic configuration of application-specific implicit instructions for embedded pipelined processors

Replica identification using genetic programming

Publish/subscribe architecture for mobile ad hoc networks

CAT: a context-aware trust model for open and dynamic systems

On the performance of TCP, UDP and DCCP over 802.11 g networks

On delegation and workflow execution models

Total order broadcast on pervasive systems

Extending an ontology-based search with a formalism for spatial reasoning

Dependence graphs for verifications of web service compositions with PEWS

A validation methodology for agent-based simulations

Flexible pointer analysis using assign-fetch graphs

Code-carrying theory

BigBatch: a document processing platform for clusters and grids

Towards self-configuration and management of e-service provisioning in dynamic value constellations

Requirements engineering for COTS-based software systems

Houston, we have a problem...: a survey of actual problems in computer games development

Mining fault-tolerant frequent patterns efficiently with powerful pruning

History offset implementation scheme for large scale multidimensional data sets

Doxels in context for retrieval: from structure to neighbours

Including the user in the knowledge discovery loop: interactive itemset-driven rule extraction

Towards an integrative human pathway database for systems biology applications

An architecture of services for session management and contents adaptation in ubiquitous medical environments

The minimization of hardware size in reconfigurable embedded platforms

Dynamic populations in genetic algorithms

A remote display system for Java-based mobile applications

Comparing keywords and taxonomies in the representation of users profiles in a content-based recommender system

Performance comparison of Flow Aware Networking (FAN) architectures under GridFTP traffic

Offline count-limited certificates

Providing dependability for web services

Embedding SPARQL into XQuery/XSLT

Path-based verification for composition of semantic web services

IELR(1): practical LR(1) parser tables for non-LR(1) grammars with conflict resolution

UML state machine diagram driven runtime verification of Java programs for message interaction consistency

A wrapper generation system for PDF documents

Enterprise ontology in enterprise engineering

Configuring features with stakeholder goals

Automatic software fault localization using generic program invariants

Discovering relationships among categories using misclassification information

A QoS-oriented external scheduler

A graph-based profile similarity calculation method for collaborative information retrieval

A biologically inspired generation of virtual characters

Computational approach to biological validation of protein-protein interactions discovered using literature mining

HIV drug resistance analysis tool based on process algebra

Power-efficient and scalable load/store queue design via address compression

Error estimation in wireless sensor networks

Examining the motivations of defection in large-scale open systems

Attaining soft real-time constraint and energy-efficiency in web servers

SQL-IDS: a specification-based approach for SQL-injection detection

Improving denial of service resistance using dynamic local adaptations

Towards the composition of stateful and independent semantic web services

An integrated web system to facilitate personalized web searching algorithms

An adaptation of the collections framework, reflection and object cloning from J2SE to J2ME

A novel approach for test suite reduction based on requirement relation contraction

Organizational engineering in public administration: the state of the art on eGovernment domain modeling

Three integration approaches for map and B-SCP requirements engineering techniques

Test generation and minimization with "basic" statecharts

Adding background knowledge to formal concept analysis via attribute dependency formulas

How robust are multilingual information retrieval systems?

Assessing the best integration between distance-function and image-feature to answer similarity queries

CPRM: a chronic patient's management model based on the concepts of customer's relationship

A hybrid software-based self-testing methodology for embedded processor

An approach to mobile collaborative mapping

On the performance of employing presence services in P2P-based network management systems

Verifiable anonymous vote submission

Serpentine: adaptive middleware for complex heterogeneous distributed systems

Optimized dynamic semantic composition of services

On the performance of persistent connection in modern web servers

An approach for supporting system-level test scenarios generation from textual use cases

k-RNN: k-relational nearest neighbour algorithm

Analyzing the impact of churn and malicious behavior on the quality of peer-to-peer web search

The volume in focus: hardware-assisted focus and context effects for volume visualization

Eyelid measurements using digital video processing

Hardware implementation for network intrusion detection rules with regular expression support

Ubicomp secretary: a web service based ubiquitous computing application

A framework to process complex biodiversity queries

Designing and architecting process-aware Web applications with EPML

Towards verification and testing of Java programs

Enabling ontology-based document classification and management in ebXML registries

Improving the neural meshes algorithm for 3D surface reconstruction with edge swap operations

ECG data provisioning for telehomecare monitoring

LTS-BT: a tool to generate and select functional test cases for embedded systems

TIPS: wrapping the sockets API for seamless IP mobility

PPEPR: plug and play electronic patient records

Hermes: a semantic web-based news decision support system

UML-based design test generation

Applying a semantic layer in a source code search tool

An evaluation of a collision handling system using sphere-trees for plausible rigid body animation

Medical image analysis using mobile devices

Formal specification of DSP gateway for data transmission between processor cores of OMAP platform

A service architecture for sensor data provisioning for context-aware mobile applications

Similarity estimation module for OWSCIS

An approach based on metrics for monitoring web accessibility in Brazilian municipalities web sites

SoftMon: programmable software monitoring with minimum overhead by helper-threading

The impact of term selection in genre-aware focused crawling

Inkteractors: interacting with digital ink

Learning activities on health care supported by common sense knowledge

iVESTA: an interactive visualization and evaluation system for drive test data

Efficient concept clustering for ontology learning using an event life cycle on the web

Enhancing web service selection by QoS-based ontology and WS-policy

Scenario oriented program slicing

A hybrid web recommender system based on Q-learning

IFOX: interface for ordered XQuery an algebraic oriented tool for ordered XQuery visualization

Brain registration and subtraction - improved localization for SPECT analysis (B.R.A.S.I.L.): a computer-aided diagnosis in epilepsy tool kit

Exploring social annotations for web document classification

Ranking with tagging as quality indicators

Version control in crosscutting framework-based development

A ubiquitous computing environment for medical education

Towards design patterns for ontology alignment

A pattern to design crosscutting frameworks

A UMLS interoperable solution to support collaborative diagnosis decision making over the internet

A software architecture for ontology-driven situation awareness

Design pattern detection by template matching

A web-based system for the collection and analysis of spectra signals for early detection of voice alterations

On the conceptual tag refinement

An evaluation of a model-based testing method for information systems

Parametric cepstral analysis for pathological voice assessment

The QoS-MO ontology for semantic QoS modeling

Software frameworks for information systems integration based on web services

Augmented vision for medical applications

Multi-level biomedical ontology-enabled service broker for web-based interoperation

Extending RUP to develop fault tolerant software

On the conformity of models: a transducer-based approach for model transformation

An approach for specification construction using property-preserving refinement patterns

ICER: a tool for finding errors in a UML model

Automatic test data generation using particle systems

A C++ environment for dynamic unanticipated software evolution

Integrating functional metrics, COCOMO II and earned value analysis for software projects using PMBoK

A detectability analysis of fault classes for Boolean specifications

UMLtrust: towards developing trust-aware software

Automated classification of change messages in open source projects

Combination of decomposability and propagation for solving first-order constraints in decomposable theories

Content Provider	ACM Digital Library
Author	Djelloul, Khalil
Abstract	Over the last decade, first-order constraints have been efficiently used in the constraint programming world to model many kinds of complex problems such as: scheduling, resource allocation, computer graphics and bio-informatics. Recently, a new property called "decomposability" has been introduce and many first-order theories have been proved to be decomposable: finite or infinite trees, rational and real numbers, linear dense order, . etc. A decision procedure in the form of 5 rewriting rules has also been developed but this later can only decide if a formula without free variables is true or not in any decomposable theory T. Unfortunately, this decision procedure is not enough when we want to find the values of the free variables of any first-order constraint ϕ so that ϕ is true in any decomposable theory T. These kind of problems are generally known as first-order constraint satisfaction problems. We present in this paper not only a decision procedure but a full first-order constraint solver for any decomposable theory T. Our solver is given in the form of six rewriting rules which transform any first-order constraint (which can possibly contain free variables) into an equivalent solved formula which is either the formula true, or the formula false or a formula having at least one free variable and written in a very simple and explicit solved form. We also show the efficiency of our solver by solving complex first-order constraints containing a huge number of imbricated quantifiers and negations. This is the first full first-order constraint solver over any decomposable theory.
Starting Page	1728
Ending Page	1732
Page Count	5
File Format	PDF
ISBN	9781595937537
DOI	10.1145/1363686.1364099
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2008-03-16
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	First-order constraint satisfaction problems Complete theory First-order constraint solvers First-order constraints Rewriting rules
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in