ppxscal/embedding_network huggingface dataset:
Improvement of Threshold Signature Scheme Using Self-Certified Public Key
Authors: Jiguo Li, Yichen Zhang, Zhijian Wang
Venue: Proceedings of the First International Conference on Innovative Computing, Information and Control - Volume 1 (2006)

Recently, Wu and Hsu proposed a threshold signature scheme using the self-certified public key. In their scheme, the authentication of the self-certified individual/group public keys can be confirmed simultaneously in the procedure of verifying the individual/group signatures and their scheme is more efficient than threshold signature scheme designed based on the certificate-based public key systems. In this paper, we show design defect of threshold signature scheme using self-certified public key proposed by Wu and Hsu. Further, we propose an improved threshold signature scheme using selfcertified public key, which overcomes disadvantage of Wu and Hsu's scheme and retains all merits of the original scheme.
Energy efficient and robust rhythmic limb movement by central pattern generators
Authors: B. W. Verdaasdonk, H. F. J. M. Koopman, F.C.T. Van Der Helm
Venue: Neural Networks (2006)

Humans show great energy efficiency and robustness in rhythmic tasks, such as walking and arm swinging. In this study a mathematical model of rhythmic limb movement is presented, which shows that tight local coupling of Central Pattern Generators (CPGs) to limbs could explain part of this behavior. Afferent feedback to flexor and extensor centers of the CPG is crucial in providing energy efficiency by means of resonance tuning. Feedback of positional information provides resonance tuning above the endogenous frequency of the CPG. Integral feedback provides resonance tuning at and below the endogenous frequency. Feedback of velocity information is necessary to compensate for the time delay in the loop, coupling limb to CPG; without velocity feedback bi-stability occurs and resonance tuning is not possible at high movement frequencies. The concepts of energy efficient and robust control of rhythmic limb movements are also applicable to robotics. It is the first CPG model, which provides resonance tuning at natural limb frequencies above and below its endogenous frequency.
Grid Enabled Problem Solving Environments for Text Categorization
Authors: Jian Mei, Wu Zhang, Suge Wang
Venue: Proceedings of the Second IEEE International Conference on e-Science and Grid Computing (2006)

As the large volume of resources involved and the power of computational Grids increased, there is a corresponding and urgent need for employ the grid technologies into problem solving environment (PSE) domain in order to improve the PSE to a better usability and higher performance. In this paper, we describe how to develop a framework of a Grid enabled PSE for text categorization with related Grid technologies. This grid-enabled PSE is able to support the activities that concern the building of the text classifier service, the classifying of the texts, the defining of the workflow, the selecting of service's Grid nodes and the reflection of the execution status through the web portal. Further, an example instance based on this Grid enabled system in the construction of PSE is shown in the end of this paper, and the performance of the PSE is evaluated in terms of the results of the application it generate.
Formalizing and validating UML architecture description of web systems
Authors: Yujian Fu, Zhijiang Dong, Xudong He
Venue: Workshop proceedings of the sixth international conference on Web engineering (2006)

Web systems are self-descriptive software components which can automatically be discovered and engaged, together with other web components, to complete tasks over the Internet. Unified Modeling Language (UML), a widely accepted object-oriented system modeling and design language, and adapted for software architecture descriptions for several years, has been used for the web system description recently. However, it is hard to detect the system problems, such as correctness, consistency etc., of the integration of Web services without a formal semantics of web services architecture. In this paper, we proposed an approach to solving this issue by translating the UML web service architecture description into a formal modeling language - SO-SAM, and verify the correctness of the web system design using model checking techniques. We presented this approach through an imaging processing scenario in the distributed web application.
Pipelined Computation of Scalar Multiplication in Elliptic Curve Cryptosystems (Extended Version)
Authors: Pradeep Kumar Mishra
Venue: IEEE Transactions on Computers (2006)

In the current work, we propose a pipelining scheme for implementing Elliptic Curve Cryptosystems (ECC). The scalar multiplication is the dominant operation in ECC. It is computed by a series of point additions and doublings. The pipelining scheme is based on a key observation: To start the subsequent operation, one need not wait until the current one exits. The next operation can begin while a part of the current operation is still being processed. To our knowledge, this is the first attempt to compute the scalar multiplication in such a pipelined manner. Also, the proposed scheme can be made resistant to sidechannel attacks (SCA). Our scheme compares favorably with all SCA-resistant sequential and parallel methods.
Multiple-Solution Nature of Chaos Number-Oriented Equations
Authors: Chefi Ketata, Mysore G. Satish, M. Rafiqul Islam
Venue: Proceedings of the International Conference on Computational Inteligence for Modelling Control and Automation and International Conference on Intelligent Agents Web Technologies and International Commerce (2006)

Nature is characterized by its chaotic behavior. The forces and processes that individually and collectively control the phenomena of the universe independently of human intervention are described by various equations. These equations need to be solved to understand the behavior of nature. Unfortunately, conventional mathematics has not been able to deal with all nature problems. Therefore, there is an urgent need for novel mathematics to solve complex problems. This paper lays the foundation for solving nature chaotic equations and shows how the universe dimensions determine the nature and number of solutions. It introduces the process to solve and identify the solutions for the simple linear equation x = 2 and quadratic equation x^2 = 4 in zero, one, two, three, and more dimensions. As a result, this paper establishes an important fact for chaos equations that is all equations have multiple solutions.
The Role of Perceptual Load in Neglect: Rejection of Ipsilesional Distractors is Facilitated with Higher Central Load
Authors: Nilli Lavie, Ian H. Robertson
Venue: Journal of Cognitive Neuroscience (2001)

Neglect is known to produce a bias towards the ipsilesional side. Here we examined whether this bias is automatic or can be modulated by manipulating perceptual load in a relevant task [e.g., Lavie, N. (1995). Perceptual load as a necessary condition for selective attention. Journal of Experimental Psychology: Human Perception and Performance, 21, 451-468]. Three patients with left neglect and three healthy controls made speeded choice responses to a target letter in the center of the display while attempting to ignore an irrelevant distractor presented on left or right. Perceptual load was manipulated by inducing a search for the target that appeared with another central stimulus, which was either a blob (low load) or a nontarget letter (higher load). Response competition effects from ipsilesional distractors were significantly reduced by higher load. The same increase of load, however, did not decrease distractor effects in the control group, as expected [e.g., Lavie, N., & Cox, S. (1997). On the efficiency of attentional selection: Efficient visual search results in inefficient rejection of distraction. Psychological Science, 8, 395-398]. These results demonstrate that ipsilesional bias in neglect is not fully automated and emphasize an additional restriction of perceptual capacity. Moreover, they supported our prediction that reduced perceptual capacity in neglect can lead to improved distractor rejection with just small increases in perceptual load.
Experimental Results Regarding the Greedy Formation Algorithm for Mobile Ad Hoc Networks
Authors: James Galvin, Dan Grigoras
Venue: Proceedings of the Proceedings of The Fifth International Symposium on Parallel and Distributed Computing (2006)

Management operations of mobile ad hoc networks (MANET) like network formation, join and merge/split are complex and highly demanding on the battery, a scarce resource for any mobile device. In a previous paper, we proposed two MANET management algorithms that proved, by ns-2 simulation, to be feasible, reliable and cost-effective. This paper presents the experimental results of implementing one of the two algorithms, the Greedy formation algorithm for MANET, on real devices. Data acquired so far and included in this paper are a strong argument in the favor of this approach.
Minimum spanning trees made easier via multi-objective optimization
Authors: Frank Neumann, Ingo Wegener
Venue: Natural Computing: an international journal (2006)

Many real-world problems are multi-objective optimization problems and evolutionary algorithms are quite successful on such problems. Since the task is to compute or approximate the Pareto front, multi-objective optimization problems are considered as more difficult than single-objective problems. One should not forget that the fitness vector with respect to more than one objective contains more information that in principle can direct the search of evolutionary algorithms. Therefore, it is possible that a single-objective problem can be solved more efficiently via a generalized multi-objective model of the problem. That this is indeed the case is proved by investigating the computation of minimum spanning trees.
Mobile SeoulSearch: Automatic Mobile Regional Information Retrieval System Based on Web
Authors: Yongjin Kang, Yong-Jin Kwon
Venue: Proceedings of the 21st International Conference on Data Engineering Workshops (2005)

The convergence of multiple technologies, including the Internet, wireless communications, geographical information systems, location-based services and mobile devices, has given rise to new types of information utilities that may be referred as mobile location-based services(LBS). We proposed and developed a regional information retrieval system for the mobile environment, called "Mobile SeoulSearch" as mobile LBS. The proposed system has some representative advantages. First, as it utilizes Webbased regional information, we can easily get much usable regional information from the Internet. Second, through it uses location-based query, we can find closest usable location information from user's location automatically. Third, it serves improved user interface for mobile devices. Last, as it uses map & related keywords by Geo-searching then we can search some Geo-word intuitively.
Sequence Mining Without Sequences: A New Way for Privacy Preserving
Authors: Stephanie Jacquemont, Francois Jacquenet, Marc Sebban
Venue: Proceedings of the 18th IEEE International Conference on Tools with Artificial Intelligence (2006)

During the last decade, sequential pattern mining has been the core of numerous researches. It is now possible to efficiently discover users' behavior in various domains such as purchases in supermarkets,Web site visits, etc. Nevertheless, classical algorithms do not respect individual's privacy, exploiting personal information (name, IP address, etc.). We provide an original solution to privacy preserving by using a probabilistic automaton instead of the original data. An application in car flow modeling is presented, showing the ability of our algorithm to discover frequent routes without any individual information. A comparison with SPAM is done showing that even if we sample from the automaton, our approach is more efficient.
Quadrilateral and triangular plane elements with rotational degrees of freedom based on the hybrid Trefftz method
Authors: Yeon Seok Choo, Noori Choi, Byung Chai Lee
Venue: Finite Elements in Analysis and Design (2006)

In this paper, we suggest flexible, accurate, and robust linear elastic plane elements. We introduce drilling degrees of freedom to the hybrid Trefftz plane element by using Allman's quadratic displacement instead of conventional finite element approximation for the boundary displacement. Added drilling degrees increase the accuracy and robustness to mesh quality though they keep the advantages of the hybrid Trefftz method such as efficiency and freedom of the shape of the element. In addition, due to the hybrid Trefftz formulation, Poisson's locking, which may come from Allman's quadratic displacement, disappears.
Intrusion Detection in Mobile Ad-Hoc Networks: A Mobile Agent Approach
Authors: Upinder Kaur, R. B. Patel
Venue: Proceedings of the 9th International Conference on Information Technology (2006)

In this paper we have presented design and implementation of a prototype for intrusion detection using mobile agents (MAs) in mobile ad hoc networks (MANETs). In this prototype each node runs intrusion detection system locally and equally cooperates with other intrusion detection systems running on other nodes. The proposed prototype is implemented and validated on PMADE (Platform for MA Distribution and Execution).
Optimal Basic Block Instruction Scheduling for Multiple-Issue Processors Using Constraing Programming
Authors: Abid M. Malik, Jim McInnes, Peter van Beek
Venue: Proceedings of the 18th IEEE International Conference on Tools with Artificial Intelligence (2006)

Instruction scheduling is one of the most important steps for improving the performance of object code produced by a compiler. A fundamental problem that arises in instruction scheduling is to find a minimum length schedule for a basic block--a straight-line sequence of code with a single entry point and a single exit point--subject to precedence, latency, and resource constraints. Solving the problem exactly is NP-complete, and heuristic approaches are currently used in most compilers. In contrast, we present a scheduler that finds provably optimal schedules for basic blocks using techniques from constraint programming. In developing our optimal scheduler, the key to scaling up to large, real problems was in the development of preprocessing techniques for improving the constraint model. We experimentally evaluated our optimal scheduler on the SPEC 2000 integer and floating point benchmarks. On this benchmark suite, the optimal scheduler was very robust--all but a handful of the hundreds of thousands of basic blocks in our benchmark suite were solved optimally within a reasonable time limit--and scaled to the largest basic blocks, including basic blocks with up to 2600 instructions. This compares favorably to the best previous exact approaches.
Semantics of an effect analysis for exceptions
Authors: Nick Benton, Peter Buchlovsky
Venue: Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation (2007)

We give a semantics to a polymorphic effect analysis that tracks possibly-thrown exceptions and possible non-termination for a higher-order language. The semantics is defined using partial equivalence relations over a standard monadic, domain-theoretic model of the original language and establishes the correctness of both the analysis itself and of the contextual program transformations that it enables.
Earned Value and Agile Reporting
Authors: Anthony Cabri, Mike Griffiths
Venue: Proceedings of the conference on AGILE 2006 (2006)

This paper reviews the concepts of Earned Value Management established in traditional project management, and determines whether and how they can be applied to software development projects following an Agile methodology. First the origins and concepts of Earned Value are reviewed, followed by its application in traditional projects. Then the application of Earned Value Management to Agile software projects is investigated.
Design of a Walkthrough System for Virtual Museum Based on Voronoi Diagram
Authors: Lu Wang, Chenglei Yang, Meng Qi, Rui Wang, Xiangxu Meng, Xiaoting Wang
Venue: Proceedings of the 3rd International Symposium on Voronoi Diagrams in Science and Engineering (2006)

This paper describes an integrated solution of designing a walkthrough system for virtual museum supporting multi-user's communion and learning based on Voronoi diagram. Here, 2D polygon and its Voronoi Diagram are the basis of museum's cooperative design, collections' conveniently disposal, scene's real time rendering and other interactive technologies such as visibility culling, collision detection, path planning, and so on. It has been used in archaeological Digital Museum of Shandong University (archaeological DMSDU), and it can also be used to other exhibition halls
Cortical Representations of Personally Familiar Objects and Places: Functional Organization of the Human Posterior Cingulate Cortex
Authors: Motoaki Sugiura, Nadim J. Shah, Karl Zilles, Gereon R. Fink
Venue: Journal of Cognitive Neuroscience (2005)

The recognition of both personally familiar objects and places involves nonspatial memory retrieval processes, but only personally familiar places are represented as space. Although the posterior cingulate cortex (PCC) is considered to process both types of such memories, its functional organization is poorly understood. In this event-related fMRI study, normal subjects judged familiar/unfamiliar pictures in four categories: familiar places (FP), familiar objects (FO), unfamiliar places (UP), and unfamiliar objects (UO), thus constituting a two-factorial design. A significant main effect of stimuli with greater activation in the place (FP and UP) than object (FO and UO) trials was observed bilaterally in several medial temporo-occipito-parietal regions, including the caudal PCC (cPCC) and parahippocampal gyrus. The reverse comparison revealed greater activation in the lateral inferior occipito-temporal junctions and intraparietal sulci bilaterally. A significant main effect of familiarity with greater activation in the familiar (FP and FO) than unfamiliar (UP and UO) trials was observed in the mid-dorsal PCC (mPCC), retrosplenial cortex, posterior precuneus, and the left intraparietal sulcus. Activation specific to the FP trials (as assessed by the interaction) was observed in the right posterodorsal PCC (pPCC) only. Together with data from previous functional imaging studies, the results suggest a functional segregation of human PCC with differential involvement of pPCC in spatial representations of personally familiar places and of the mPCC and retrosplenial cortex in episodic retrieval of personally familiar places and objects. Activation of the left intraparietal sulcus may reflect retrieval of memories related to object manipulation.
Efficient recursive XML query processing using relational database systems
Authors: Sandeep Prakash, Sourav S. Bhowmick, Sanjay Madria
Venue: Data Knowledge Engineering (2006)

Recursive queries are quite important in the context of XML databases. In addition, several recent papers have investigated a relational approach to store XML data and there is growing evidence that schema-conscious approaches are a better option than schema-oblivious techniques as far as query performance is concerned. However, the issue of recursive XML queries for such approaches has not been dealt with satisfactorily. In this paper we argue that it is possible to design a schema-oblivious approach that outperforms schema-conscious approaches for certain types of recursive queries. To that end, we propose a novel schema-oblivious approach, called SUCXENT++ (Schema Unconcious XML Enabled System), that outperforms existing schema-oblivious approaches such as XParent by up to 15 times and schema-conscious approaches (Shared-Inlining) by up to eight times for recursive query execution. Our approach has up to two times smaller storage requirements compared to existing schema-oblivious approaches and 10% less than schema-conscious techniques. In addition SUCXENT++ performs marginally better than Shared-Inlining and is 5.7-47 times faster than XParent as far as insertion time is concerned.
Evolution, Sociobiology, and the Future of Artificial Intelligence
Authors: David L. Waltz
Venue: IEEE Intelligent Systems (2006)

The spread of AI will depend on forces that favor the reproduction of intelligent robots, systems, code, and algorithms, as well as R&D groups and budgets. This article is part of a special issue on the Future of AI.
A Criterion-Based Role-Based Multilayer Access Control Model for Multimedia Applications
Authors: Leon Pan, Chang N. Zhang
Venue: Proceedings of the Eighth IEEE International Symposium on Multimedia (2006)

This paper presents a Criterion-Based Role-Based Multilayer Access Control model in which a number of security criterion expressions are embedded into every object to specify the security attributes of its sub objects. Meanwhile, a security criterion subset is combined with each operation to reflect the relevant keys of the embedded security criterion expressions in the corresponding object, and another security criterion subset is associated with each user to specify the user's security features. The desired multilayer access control is achieved by evaluating the embedded security criterion expressions by using the common elements of the security criterion subsets associated with the related operation and the related user. The proposed model, which is an extension of traditional Role-Based Access Control (RBAC) model, efficiently supports both the multilayer access control and non-multilayer access control. In addition to the advantages of traditional RBAC, the model is simple in logic and efficient in performance.
Optimal estimation of line segments in noisy lidar data
Authors: Andreas Kapp, Lutz Gröll
Venue: Signal Processing (2006)

Lidar data usually is obtained by independently measuring distance r and angle ϕ. Therefore, measurements of r and ϕ are statistically independent. However, in most approaches measurements in x and y are assumed to be uncorrelated thus not taking properly into account the noise characteristic.This article investigates the application of least squares (LS), total least squares (TLS), mixed-LS-TLS (MTLS), structured total least norm (STLN) and maximum-likelihood (ML) estimators to the problem of estimating line segments in noisy lidar data and compares their performance from a theoretical point of view. This analysis is supported by simulation results. A new approach of estimating an arbitrary line segment without the need of parametric constraints is proposed.
Group Detection at Camera Handoff for Collecting People Appearance in Multi-camera Systems
Authors: Simone Calderara, Rita Cucchiara, Andrea Prati
Venue: Proceedings of the IEEE International Conference on Video and Signal Based Surveillance (2006)

Logging information on moving objects is crucial in video surveillance systems. Distributed multi-camera systems can provide the appearance of objects/people from different viewpoints and at different resolutions, allowing a more complete and precise logging of the information. This is achieved through consistent labeling to correlate collected information of the same person. This paper proposes a novel approach to consistent labeling also capable to fully characterize groups of people and to manage miss segmentations. The ground-plane homography and the epipolar geometry are automatically learned and exploited to warp objects' principal axes between overlapped cameras. A MAP estimator that exploits two contributions (forward and backward) is used to choose the most probable label configuration to be assigned at the handoff of a new object. Extensive experiments demonstrate the accuracy of the proposed method in detecting single and simultaneous handoffs, miss segmentations, and groups.