نتایج جستجو برای: legal ambient

تعداد نتایج: 147941  

1999
J. A. Álvarez López Y. A. Kordyukov

For general Riemannian foliations, spectral asymptotics of the Laplacian is studied when the metric on the ambient manifold is blown up in directions normal to the leaves (adiabatic limit). The number of “small” eigenvalues is given in terms of the differentiable spectral sequence of the foliation. The asymptotics of the corresponding eigenforms also leads to a Hodge theoretic description of th...

Journal: :JAISE 2011
Albert Ali Salah Theo Gevers Nicu Sebe Alessandro Vinciarelli

A natural way of conceptualizing ambient intelligence is by picturing an active environment with access to perceptual input, not via eyes and ears, but by their technological counterparts. Computer vision is an essential part of building contextaware environments that adapt and anticipate their human users by understanding their behavior. This thematic issue explores state-of-the-art computer v...

Journal: :Theor. Comput. Sci. 2005
Iain C. C. Phillips Maria Grazia Vigliotti

Palamidessi has shown that the π-calculus with mixed choice is powerful enough to solve the leader election problem on a symmetric ring of processes. We show that this is also possible in the calculus of Mobile Ambients (MA), without using communication or restriction. Following Palamidessi’s methods, we deduce that there is no encoding satisfying certain conditions from MA into CCS. We also sh...

2013
João Ferreira Rafaela Rosário Ângelo Costa Paulo Novais

We have an increasingly sedentary population without the care to make a healthy diet. Therefore, it becomes necessary to give the population the opportunity, despite living a very busy and tiring life, to have control over important aspects to their health. This work aims to present a model of an ambient intelligence system for monitoring the weight and physical activity in active individuals. ...

2010
Evert van Loenen Richard van de Sluis Boris E. R. de Ruyter Emile H. L. Aarts

Concept development for professional domain AmI solutions involves different stakeholders than those for consumer products, and puts different requirements on experience test methods and facilities. Philips ExperienceLab facility for experience research is described, as well as trends and lessons learned from its use in the two domains.

2016

This paper analyzes the concept of rights from a logical point of view. We start on two types of legal sentences: legal object sentences and legal meta-sentences. A legal object sentence describes an obligation of its addressee and a legal meta-sentence describes the validity of a legal sentence. We consider a legal sentence one that describes someone’s right as a legal meta-sentence. We clarif...

Journal: :Electr. Notes Theor. Comput. Sci. 2008
Bjørn Haagensen Sergio Maffeis Iain C. C. Phillips

Matching systems were introduced by Carbone and Maffeis, and used to investigate the expressiveness of the pi-calculus with polyadic synchronisation. We adapt their definition and investigate matching systems for CCS, the pi-calculus and Mobile Ambients. We show among other results that the asynchronous pi-calculus with matching cannot be encoded (under certain conditions) in CCS with polyadic ...

2007
Antonis Bikakis Theodore Patkos Grigoris Antoniou Dimitris Plexousakis

A key issue in the study of Ambient Intelligence is reasoning about context. The aim of context reasoning is to deduce new knowledge, based on the available context data. The endmost goal is to make the ambient services more ”intelligent”; closer to the specific needs of their users. The main challenges of this effort derive from the imperfect context information, and the dynamic and heterogene...

2011
John Douglas Moore

This article is concerned with conformal harmonic maps f : Σ → M , where Σ is a closed Riemann surface and M is a compact Riemannian manifold of dimension at least four. We show that when the ambient manifold M is given a generic metric, all prime closed parametrized minimal surfaces are free of branch points, and are as Morse nondegenerate as allowed by the group of complex automorphisms of Σ.

2012
Norihiro Hagita

This talk focuses on the ambient intelligence for network robot systems including robots and/or sensor networks, smartphones, etc. It is one of the significant functions allowing robot services over multiple sites. As examples of ambient intelligence on the human trajectory and behaviors, the "ambient intelligence map" is introduced. Next, the robotic services of shopping support for elderly, t...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید