نتایج جستجو برای: elan
تعداد نتایج: 411 فیلتر نتایج به سال:
In this paper, we investigate the idea of controlling rewriting by strategies and we develop a strategy language whose operational semantics is also based on rewriting. This language is described in ELAN, a language based on computational systems that are simply rewriting theories controlled by strategies. We illustrate the syntax, semantics and diierent features of this strategy language. Fina...
ELAN is a powerful language and environment for specifying and prototyping deduction systems in a language based on rewrite rules controlled by strategies. Timed automata is a class of continuous real-time models of reactive systems for which efficient model-checking algorithms have been devised. In this paper, we show that these algorithms can very easily be prototyped in the ELAN system. This...
La Philosphie de Bergson vise la vie spirituelle, le spiritualisme, la joie, l’appétit et le changement perpétuel de la réalité. En conséquence las trios notions de la durée, de la mémoire et de l’élan vital constituent la réalité de la vie dans son cheminement et dans son progrès. L’ensemble de ces notions fondamentales décèle la contenu de la vie, et dégage la réalité de ses rigidités de l’au...
Objects like rewrite rules and strategies are of very general use and interest in computer science. They are especially useful when modeling inference based systems like logical frameworks, theorem provers, constraint solvers, expert systems, transition systems. In order to formalize the concept of rule application, we have designed a calculus of explicit rule application called the rewritingor...
We present ALMA observations on and around the radio-quiet quasar UM287 at $z=2.28$. Together with a companion quasar, is believed to play major role in powering surrounding enormous Ly$\alpha$ nebula (ELAN), dubbed Slug ELAN, that has an end-to-end size of 450 physical kpc. In addition quasars, we detect new dusty star-forming galaxy (DSFG), Slug-DSFG, 2 mm continuum single emission line consi...
The MAMMOTH-1 nebula at $z=2.317$ is an enormous Ly$\alpha$ (ELAN) extending to a $\sim$440 kpc scale the center of extreme galaxy overdensity BOSS 1441. In this paper, we present observations $\rm CO(3-2)$ and 250 GHz dust-continuum emission from using IRAM NOrthern Extended Millimeter Array. Our show that in ELAN has not extended widespread into circum- inter-galactic media. We also find rema...
la philosphie de bergson vise la vie spirituelle, le spiritualisme, la joie, l’appétit et le changement perpétuel de la réalité. en conséquence las trios notions de la durée, de la mémoire et de l’élan vital constituent la réalité de la vie dans son cheminement et dans son progrès. l’ensemble de ces notions fondamentales décèle la contenu de la vie, et dégage la réalité de ses rigidités de l’au...
Résumé. Cet article aborde le problème de l’extraction de données orales multi-annotées : nous proposons une solution intermédiaire, entre d’une part les systèmes de requêtages très évolués mais qui nécessitent des données structurées, d’autre part les données (multi-)annotées des utilisateurs qui sont hétérogènes. Notre proposition s’appuie sur 2 fonctions principales : une fonction booléenne ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید