نتایج جستجو برای: overcoming principles on jurisprudences

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

2014
Jelena Zdravkovic Irina Rychkova Thomas Speckert

Decentralization of organizations and subsequent change of their management and operation styles require changes in organization’s processes and heavily involve IT. Enterprise Architecture (EA) frameworks fit to primarily centralized organizational structures, and as such have shortcomings when used in decentralized organizations. We illustrate this idea on the example of one organization in th...

2003
W. Brenner S. Mitic A. Vujanic G. Popovic

One of the possible actuation principles which were found to be the most promising candidates for highresolution tactile displays is presented. The actuators are based on SMA wire, which includes a clamping mechanism, to overcome high energy consumption and its consequences. A module consisting of 16 taxels in one row, with a distance of 2.54mm separating the taxels, was designed and produced w...

2006
Fatma Elsayed Meawad Geneen Stubbs

The challenge facing the actual development of mobile learning lies in overcoming the limitations of mobile devices and wireless communication technologies while catering for learners individual needs. This challenge has raised an urgent need to investigate automated adaptivity in mobile learning. We describe an ongoing work to build an adaptive mobile learning environment that is interoperable...

1997
Kostas Daniilidis Minas E. Spetsakis

Solutions to the structure from motion problem have been shown to be very sensitive to measurement noise and the respective motion and geometry configuration. Statistical error analysis has become an invaluable tool in analyzing the sensitivity phenomenon. This paper presents a unifying approach to the problems of statistical bias, correlated noise, choice of error metrics, geometric instabilit...

2011
Brooke E. Flammang Marianne E. Porter

Synopsis The production of bioinspired and biomimetic constructs has fostered much collaboration between biologists and engineers, although the extent of biological accuracy employed in the designs produced has not always been a priority. Even the exact definitions of ‘‘bioinspired’’ and ‘‘biomimetic’’ differ among biologists, engineers, and industrial designers, leading to confusion regarding ...

2008
Eddie Kohler

HotCRP, a web-based conference submission and review package designed for flexibility and ease of use during reviewing, was initially written in summer 2006 as the submission system for HotNets V, which I co-chaired with Greg Minshall. It currently consists of about 20,000 lines of PHP plus 500 lines of Javascript, 1200 lines of CSS, and some others, and has been used for two SIGCOMMs, two USEN...

Journal: :SIGMOD Record 2004
Richard T. Snodgrass

The March 2004 issue of TODS should be in your mailbox (as well as available in cyberspace, at the ACM Digital Library) around the time you receive this issue of SIGMOD Record. This issue is a first, a special issue dedicated to extended versions of SIGMOD and PODS papers from the 2002 conference. This special issue opens the topic of invited papers from conferences, and indeed, the more genera...

2015
Michael Greenberg Kathleen Fisher David Walker

How have conferences like ICFP, OOPSLA, PLDI, and POPL evolved over the last 20 years? Did generalizing the Call for Papers for OOPSLA in 2007 or changing the name of the umbrella conference to SPLASH in 2010 have any effect on the kinds of papers published there? How do POPL and PLDI papers compare, topic-wise? Is there related work that I am missing? Have the ideas in O’Hearn’s classic paper ...

Journal: :LDV Forum 1997
Rolf Assfalg

Das Internationale Symposium für Informationswissenschaft (ISI '96) stand dieses Mal unter dem Leitthema "Herausforderungen an die Informationswirtschaft" , womit der aktuellen Entwicklung Rechnung getragen wurde, die in der klassischen Informationswissenschaft gewonnenen Erkenntnisse in marktund bedarfsgerechte Dienstleistungen und Produkte einzubringen. Mit 37 Beiträgen, die auf dem drei Tage...

2002
Martin Hofmann Thomas Streicher

We show that a certain simple call-by-name continuation semantics of Parigot’s λμ-calculus is complete. More precisely, for every λμ-theory we construct a cartesian closed category such that the ensuing continuation-style interpretation of λμ, which maps terms to functions sending abstract continuations to responses, is full and faithful. Thus, any λμ-category in the sense of L. Ong (1996, in “...

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

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