Sciweavers

3838 search results - page 581 / 768
» The Autonomic Computing Paradigm
Sort
View
SOCA
2007
IEEE
16 years 10 days ago
Context-aware Process Support through Automatic Selection and Invocation of Semantic Web Services
Current technologies aimed at supporting processes – whether it is a business process or a learning process – are usually based on using a dedicated set of metadata to describ...
Stefan Dietze, Alessio Gugliotta, John Domingue
SOCA
2007
IEEE
16 years 10 days ago
A Service-oriented Architecture for Business Intelligence
Business intelligence is a business management term used to describe applications and technologies which are used to gather, provide access to and analyze data and information abo...
Liya Wu, Gilad Barash, Claudio Bartolini
ACCV
2007
Springer
16 years 8 days ago
Simultaneous Appearance Modeling and Segmentation for Matching People Under Occlusion
We describe an approach to segmenting foreground regions corresponding to a group of people into individual humans. Given background subtraction and ground plane homography, hierar...
Zhe Lin, Larry S. Davis, David S. Doermann, Daniel...
163
Voted
CSL
2007
Springer
16 years 7 days ago
Unbounded Proof-Length Speed-Up in Deduction Modulo
In 1973, Parikh proved a speed-up theorem conjectured by G¨odel 37 years before: there exist arithmetical formulæ that are provable in first order arithmetic, but whose shorter ...
Guillaume Burel
ICCSA
2007
Springer
16 years 6 days ago
Provably Secure Framework for Information Aggregation in Sensor Networks
Information aggregation is an important operation in wireless sensor networks executed for the purpose of monitoring and reporting of the environmental data. Due to the performance...
Mark Manulis, Jörg Schwenk