Sciweavers

1672 search results - page 197 / 335
» Interactive Mathematical Documents
Sort
View
ICWL
2010
Springer
15 years 4 months ago
Cross-Cultural Multimedia Language Learning: Case Study and Analysis
Abstract. This paper describes a pedagogical pattern for cross-cultural language learning and its application in a case study involving learners in Australia and China. The pattern...
Carsten Ullrich, Kerstin Borau, Scott Grant, Danie...
ICSE
2008
IEEE-ACM
16 years 7 months ago
Data flow testing of service-oriented workflow applications
WS-BPEL applications are a kind of service-oriented application. They use XPath extensively to integrate loosely-coupled workflow steps. However, XPath may extract wrong data from...
Lijun Mei, W. K. Chan, T. H. Tse
CIKM
2009
Springer
16 years 1 months ago
Completing wikipedia's hyperlink structure through dimensionality reduction
Wikipedia is the largest monolithic repository of human knowledge. In addition to its sheer size, it represents a new encyclopedic paradigm by interconnecting articles through hyp...
Robert West, Doina Precup, Joelle Pineau
ZUM
1997
Springer
125views Formal Methods» more  ZUM 1997»
15 years 10 months ago
A Formal OO Method Inspired by Fusion and Object-Z
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
Klaus Achatz, Wolfram Schulte
WWW
2003
ACM
16 years 7 months ago
Automatic Summarization for Financial News Delivery on Mobile Devices
Wireless access with mobile devices is a promising addition to the WWW and traditional electronic business. Mobile devices provide convenience and portable access to the huge info...
Christopher C. Yang, Fu Lee Wang