In the t rad i t iona l approach to semant ics t r u t h values are assigned to sentence types. Moreover, the mean i ng of l inguistic expressions is given th rough a m a p which associates with t h e m extra l inguis t ic enti t ies, in such a way tha t the mean ing of a complex expression is derivable f rom tha t of its components . By t rea t ing equal ly all tokens of the same expression su...

Amidst the recent crazes for emerging technologies like speech recognition and biometrics, speaker recognition is slowly reaching the maturity to be deemed practical in many diierent applications. This paper presents new approaches for text-independent speaker recognition. The performances of the model-based algorithm presented concurrently at the ICASSP'98 conference and the frame-based algori...

A laboratory experiment was used to investigate the effects on deciision-maker performance of using geographic information system (GIS) technology as a spatial decision support sysllem (SDSS). GIS are increasingly being used for decision-making, yet research about their contributions to the performance of decision-makers has been lacking. This study makes a contribution to that apparent void. V...

We present a proof system for a simple data-parallel kernel language called L. This proof system is based on a two-component assertion language. We deene a weakest preconditions calculus and analyse its deenability properties. This calculus is used to prove the completeness of the proof system. We also present a two-phase proof methodology, yielding proofs similar to those for scalar languages....

We enumerate a variety of ways to extend both stat i st i cal and si gnature-based i ntrusi on-detect i on anal ysi s techni ques to moni tor network tra c. Speci cal l y, we present techni ques to anal yze TCP/IP packet streams that ow through network gateways f or si gns of mal i ci ous act i vi ty, nonmal i ci ous f ai l ures, and other except i onal events. The i ntent i s to demonstrate, b...

Anatomical and electrophysiological methods were used to map the vocal control nuclei of the budgerigar, Melopsittacus undulatus. Beginning with the motor nucleus of the syrinx, nuclei were located using antidromic stimulation and then injected with horseradish peroxidase (HRP). Retrogradely transported HRP labeled afferents to the injected nucleus. This procedure was repeated at successively h...

In this paper we shortly survey some loop transformation techniques which break anti or output dependences, or artiicial cycles involving such \false" dependences. These false dependences are removed through the introduction of temporary buuer arrays. Next we show how to plug these techniques into loop parallelization algorithms (such as Allen and Kennedy's algorithm). The goal is to extract as...

This report presents a novel representation model of parallel relational query execution plans, called DPL graphs. This model allows to deal with any kind of parallel architecture and any kind of parallel execution strategy. Based on an analysis of execution dependencies between operators, this model allows to precisely represent communications, run-time control mechanisms, scheduling constrain...

The aerial parts of Vitis vinifera Linn. (Common grape, Hindi ⎯ Angur) have been widely used in Ayurveda to treat a variety of common and stress related disorders. The seed extract of grapes was evaluated by Sreemantula and others for antistress activity in normal and stress induced rats. Furthermore, the extract was studied for nootropic activity in rats and in vitro antioxidant potential to c...

A b st r a c t — What has not yet come clearly into focus in the current exploration of the mind/body problem is how the unique features of dre a m ing cons c i o u s n ess might contribute to the ong o ing dialogue. Following a brief hist o r ical pe rs pe c t i ve, a th e o ry of dre a m ing as no c t u rnal social vigilance is p res e n t ed that takes into account both the genetic and socia...