Sciweavers

10568 search results - page 147 / 2114
» Computer Intelligence and Formalization
Sort
View
ISEMANTICS
2010
14 years 8 months ago
Towards an approach for formalizing the supply chain operations
Reference models play an important role in the knowledge management of the various complex collaboration domains (such as Supply Chain Networks). However, they often show a lack o...
Milan Zdravkovic, Hervé Panetto, Miroslav T...
ESWA
2011
428views Database» more  ESWA 2011»
14 years 5 months ago
Formally analysing the concepts of domestic violence
The types of police inquiries performed these days are incredibly diverse. Often data processing architectures are not suited to cope with this diversity since most of the case dat...
Jonas Poelmans, Paul Elzinga, Stijn Viaene, Guido ...
MUE
2007
IEEE
75views Multimedia» more  MUE 2007»
15 years 4 months ago
A Swarm Intelligence inspired Autonomic Routing Scenario in Ubiquitous Sensor Networks
Autonomic computing has attracted large amount of attention as a novel computing paradigm in the past few years. In this paper, we explore the inherent accordance between autonomi...
Jin Wang, Brian J. d'Auriol, Young-Koo Lee, Sungyo...
FLAIRS
2008
15 years 9 days ago
Reasoning about Topological and Positional Information in Dynamic Settings
Typical application fields of spatial and spatio-temporal representation formalisms and reasoning techniques include geographic information systems (GIS), mobile assistance system...
Marco Ragni, Stefan Wölfl
ATAL
2004
Springer
15 years 3 months ago
Towards a Formalization of Teamwork with Resource Constraints
Despite the recent advances in distributed MDP frameworks for reasoning about multiagent teams, these frameworks mostly do not reason about resource constraints, a crucial issue i...
Praveen Paruchuri, Milind Tambe, Fernando Ord&oacu...