Sciweavers

6614 search results - page 181 / 1323
» Semantics of Information as Interactive Computation
Sort
View
MKM
2004
Springer
15 years 12 months ago
Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles
Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of definitions, which often use overloaded notation. For eļ...
Grzegorz Bancerek, Josef Urban
SOCIALCOM
2010
15 years 4 months ago
Building Mobile Social Network with Semantic Relation Using Bayesian NeTwork-based Life-log Mining
Mobile devices such as cell phone, PDA and smart phone have been so popularized that they are to be a necessity for everyday life. These mobile devices can be very useful tools to ...
Han-Saem Park, Sung-Bae Cho
MOBIHOC
2008
ACM
16 years 6 months ago
Exploring semantic interference in heterogeneous sensor networks
As the use of wireless sensor networks expands, there will be multiple, independent networks operating in the same physical space. These networks will run heterogeneous applicatio...
Laura Marie Feeney
SAC
2003
ACM
15 years 11 months ago
Comparing Semantic Frameworks for Coordination: On the Conformance Issue for Coordination Media
A fundamental issue in the engineering of coordination models is n coordination abstractions that are correct with respect to the specification of the coordination model they imp...
Mirko Viroli
CCGRID
2007
IEEE
16 years 28 days ago
A Semantic Approach to Enhance Service Composition in Workflows that use Mobile Services
The successful execution of workflows using mobile services is dependant on the services behaving as expected. The management of this behaviour in Akogrimo is achieved by a contex...
Robert B. Piotter, Tom Kirkham, Julian R. Gallop, ...