Sciweavers

402 search results - page 48 / 81
» Practical Application of Existing Hypermedia Standards and T...
Sort
View
JKM
2007
115views more  JKM 2007»
14 years 11 months ago
Rapid knowledge work visualization for organizations
Purpose: The purpose of this contribution is to motivate a new, rapid approach to modeling knowledge work in organizational settings and to introduce a software tool that demonstr...
Markus Strohmaier, Stefanie N. Lindstaedt
ICFEM
2010
Springer
14 years 10 months ago
Automating Cut-off for Multi-parameterized Systems
Abstract. Verifying that a parameterized system satisfies certain desired properties amounts to verifying an infinite family of the system instances. This problem is undecidable ...
Youssef Hanna, David Samuelson, Samik Basu, Hrides...
CIA
2000
Springer
15 years 3 months ago
Towards Information Agent Interoperability
Abstract. Currently, many kinds of information agents for di erent purposes exist. However, agents from di erent systems are still unable to cooperate, even if they accurately foll...
Stefan Haustein, Sascha Lüdecke
TIP
2010
166views more  TIP 2010»
14 years 6 months ago
Restoration of Poissonian Images Using Alternating Direction Optimization
Much research has been devoted to the problem of restoring Poissonian images, namely for medical and astronomical applications. However, the restoration of these images using state...
Mário A. T. Figueiredo, José M. Biou...
ESWS
2010
Springer
14 years 10 months ago
The Semantic Gap of Formalized Meaning
Recent work in Ontology learning and Text mining has mainly focused on engineering methods to solve practical problem. In this thesis, we investigate methods that can substantially...
Sebastian Hellmann