Sciweavers

5111 search results - page 787 / 1023
» The Embedded Systems Design Challenge
Sort
View
IFM
2010
Springer
147views Formal Methods» more  IFM 2010»
15 years 4 months ago
Symbolic Model-Checking of Optimistic Replication Algorithms
Abstract. The Operational Transformation (OT) approach, used in many collaborative editors, allows a group of users to concurrently update replicas of a shared object and exchange ...
Hanifa Boucheneb, Abdessamad Imine, Manal Najem
DLOG
2009
15 years 4 months ago
Reintroducing CEL as an OWL 2 EL Reasoner
The CEL system is known for its scalability of reasoning in the lightweight DL EL++ which has been proved suitable for several ontology applications, most notably from the life sci...
Julian Mendez, Boontawee Suntisrivaraporn
CCGRID
2010
IEEE
15 years 4 months ago
File-Access Characteristics of Data-Intensive Workflow Applications
This paper studies five real-world data intensive workflow applications in the fields of natural language processing, astronomy image analysis, and web data analysis. Data intensiv...
Takeshi Shibata, SungJun Choi, Kenjiro Taura
IJDET
2010
130views more  IJDET 2010»
15 years 3 months ago
A Unified Learning Style Model for Technology-Enhanced Learning: What, Why and How?
: This paper deals with the use of learning styles in technology-enhanced learning, by introducing a so-called "Unified Learning Style Model" (ULSM). The article aims at ...
Elvira Popescu
CIKM
2010
Springer
15 years 1 months ago
Modeling betweenness for question answering
The gap between the user's information need and query is expanding due to the pervasiveness of Web search. Multimedia question answering is restricted by disjoint infrastruct...
Brandeis Marshall