Activity recognitionActivity recognition aims to recognize the actions and goals of one or more agents from a series of observations on the agents' actions and the environmental conditions. Since the 1980s, this research field has captured the attention of several computer science communities due to its strength in providing personalized support for many different applications and its connection to many different fields of study such as medicine, human-computer interaction, or sociology.
Forme normale (bases de données relationnelles)Dans une base de données relationnelle, une forme normale désigne un type de relation particulier entre les entités. La normalisation consiste à restructurer une base de données pour respecter certaines formes normales, afin d'éviter la redondance des données (des données apparaissent plusieurs fois) et d'assurer l'intégrité des données. Le but essentiel de la normalisation est d’éviter les anomalies transactionnelles pouvant découler d’une mauvaise modélisation des données et ainsi éviter un certain nombre de problèmes potentiels tels que les anomalies de lecture, les anomalies d’écriture, la redondance des données et la contre-performance.
Sémantique formelle (logique)En logique, la sémantique de la logique est l'étude de la sémantique, ou l'interprétation, des langages formels et naturels qui, en général, tentent de saisir la notion pré-théorique de déduction. Parmi les tâches des logiciens figure la fourniture de signification aux propositions. Avant l'avènement de la logique moderne, l'Organon d'Aristote, et en particulier De Interpretatione a servi de base à la compréhension de l'importance de la logique.
Position (géographie)La position, en géographie est un point dans l'espace physique qu'occupe une chose à la surface de la Terre ou dans l'Univers. Une position relative est une position par rapport à une autre position. Une localité est une entité territoriale de taille indéterminée, généralement habitée, constituant un établissement humain. Une position absolue est désignée par la combinaison de la latitude et de la longitude (Coordonnées géographiques), une grille de coordonnées cartésiennes (ex. coordonnées sphériques), un système ellipsoïdal (ex.
Network socketA network socket is a software structure within a network node of a computer network that serves as an endpoint for sending and receiving data across the network. The structure and properties of a socket are defined by an application programming interface (API) for the networking architecture. Sockets are created only during the lifetime of a process of an application running in the node.
Sémantique de KripkeEn logique mathématique, la sémantique de Kripke est une sémantique formelle utilisée pour les logiques non-classiques comme la logique intuitionniste et certaines logiques modales. Elle a été développée à la fin des années 1950 et début des années 1960 par Saul Kripke et est fondée sur la théorie des mondes possibles. Un cadre de Kripke est un couple (W, R), où W est un ensemble de mondes appelés parfois mondes possibles et où R est une relation binaire sur W. L'ensemble W s'appelle parfois l'univers des mondes possibles.
Intellectual capitalIntellectual capital is the result of mental processes that form a set of intangible objects that can be used in economic activity and bring income to its owner (organization), covering the competencies of its people (human capital), the value relating to its relationships (relational capital), and everything that is left when the employees go home (structural capital), of which intellectual property (IP) is but one component. It is the sum of everything everybody in a company knows that gives it a competitive edge.
Berkeley socketsBerkeley Sockets Interface ou simplement sockets, est un ensemble normalisé de fonctions de communication lancé par l'université de Berkeley au début des années 1980 pour leur Berkeley Software Distribution (abr. BSD). 30 ans après son lancement, cette interface de programmation est proposée dans quasiment tous les langages de programmation populaires (Java, C#, C++, ...).
Judicial interpretationJudicial interpretation is the way in which the judiciary construes the law, particularly constitutional documents, legislation and frequently used vocabulary. This is an important issue in some common law jurisdictions such as the United States, Australia and Canada, because the supreme courts of those nations can overturn laws made by their legislatures via a process called judicial review.
Unix domain socketA Unix domain socket aka UDS or IPC socket (inter-process communication socket) is a data communications endpoint for exchanging data between processes executing on the same host operating system. It is also referred to by its address family AF_UNIX.
