Sciweavers

2171 search results - page 197 / 435
» A Generic Process Algebra
Sort
View
ARGMAS
2008
Springer
15 years 5 months ago
A Constrained Argumentation System for Practical Reasoning
Practical reasoning (PR), which is concerned with the generic question of what to do, is generally seen as a two steps process: (1) deliberation, in which an agent decides what st...
Leila Amgoud, Caroline Devred, Marie-Christine Lag...
JLP
2006
66views more  JLP 2006»
15 years 3 months ago
Petri net modules in the transformation-based component framework
Component-based software engineering needs to be backed by thorough formal concepts and modeling techniques. This paper combines two concepts introduced independently by the two a...
Julia Padberg, Hartmut Ehrig
ICIP
2006
IEEE
16 years 5 months ago
Prioritized Sequential 3D Reconstruction in Video Sequences with Multiple Motions
In this study, an algorithm is proposed to solve the multi-frame structure from motion (MFSfM) problem for monocular video sequences in dynamic scenes. The algorithm uses the epip...
Evren Imre, Sebastian Knorr, A. Aydin Alatan, Thom...
139
Voted
LCN
2007
IEEE
15 years 9 months ago
Cluster-based Forwarding in Delay Tolerant Public Transport Networks
— Packet forwarding in Public Transport Networks is particularly challenging due to the high mobility, rapidly changing topology and intermittent connectivity observed in these n...
Shabbir Ahmed, Salil S. Kanhere
145
Voted
NLDB
2007
Springer
15 years 9 months ago
Generating Ontologies Via Language Components and Ontology Reuse
Realizing the Semantic Web involves creating ontologies, a tedious and costly challenge. Reuse can reduce the cost of ontology engineering. Ontologies already created in recent Sem...
Yihong Ding, Deryle W. Lonsdale, David W. Embley, ...