Sciweavers

2550 search results - page 16 / 510
» The Meaning of Open Standards
Sort
View
ASM
2000
ASM
13 years 11 months ago
An ASM Dynamic Semantics for Standard ML
Abstract. The Abstract State Machines (ASM) methodology is a methodology for formally specifying computing systems. We use the ASM methodology to give the dynamic semantics of the ...
Steven C. Cater, James K. Huggins
PRICAI
2004
Springer
14 years 21 days ago
Pronominal Anaphora Resolution Using a Shallow Meaning Representation of Sentences
This paper describes a knowledge-poor anaphora resolution approach based on a shallow meaning representation of sentences. The structure afforded in such a representation provides ...
Hilda Ho, Kyongho Min, Wai-Kiang Yeap
IESS
2009
Springer
131views Hardware» more  IESS 2009»
13 years 12 months ago
Characterization of Inaccessibility in Wireless Networks: A Case Study on IEEE 802.15.4 Standard
Wireless technology has been seen as the communication technology of the future. One of many challenges is the support for predictability and time-bounded communications over this ...
Jeferson L. R. Souza, José Rufino
TII
2010
155views Education» more  TII 2010»
13 years 2 months ago
Refactoring of Execution Control Charts in Basic Function Blocks of the IEC 61499 Standard
-This paper deals with refactoring of execution control charts of IEC 61499 basic function blocks as a means to improve the engineering support potential of the standard in develop...
Valeriy Vyatkin, Victor Dubinin
WWW
2005
ACM
14 years 8 months ago
Designing learning services: from content-based to activity-based learning systems
The need for e-learning systems that support a diverse set of pedagogical requirements has been identified as an important issue in web-based education. Until now, significant R&a...
Pythagoras Karampiperis, Demetrios G. Sampson