Sciweavers

1672 search results - page 197 / 335
» Interactive Mathematical Documents
Sort
View
ICWL
2010
Springer
15 years 2 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 5 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
139
Voted
CIKM
2009
Springer
15 years 11 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 8 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 5 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