Sciweavers

2570 search results - page 336 / 514
» The Semantic Web And Its Languages
Sort
View
WECWIS
1999
IEEE
97views ECommerce» more  WECWIS 1999»
15 years 11 months ago
Speechnet: A Network of Hyperlinked Speech-Accessible Objects
The dominant technology for electronic communication and commerce, the telephone, does not discriminate between sighted and non-sighted users. The web does discriminate. The web i...
Richard A. Frost
IEEECIT
2010
IEEE
15 years 4 months ago
Using Chemical Metaphor to Express Workflow and Service Orchestration
Abstract--Nowadays, novel applications, such as personalized e-commerce services, call for cooperation across enterprise boundaries. Service-Oriented-Architecture (SOA) forms a sol...
Chen Wang, Jean-Louis Pazat
POPL
2002
ACM
16 years 7 months ago
Proving correctness of compiler optimizations by temporal logic
Many classical compiler optimizations can be elegantly expressed using rewrite rules of form: I = I if , where I, I are intermediate language instructions and is a property expre...
David Lacey, Neil D. Jones, Eric Van Wyk, Carl Chr...
ICSE
2003
IEEE-ACM
16 years 7 months ago
Sound Methods and Effective Tools for Engineering Modeling and Analysis
Modeling and analysis is indispensable in engineering. To be safe and effective, a modeling method requires a language with a validated semantics; feature-rich, easy-to-use, depen...
David Coppit, Kevin J. Sullivan
AIED
2005
Springer
16 years 11 days ago
Taking Control of Redundancy in Scripted Tutorial Dialogue
We describe extensions to a finite-state dialogue manager and its author scripting language that enable control over content repetition during tutorial dialogue. The problem of co...
Pamela W. Jordan, Patricia L. Albacete, Kurt VanLe...