Sciweavers

4172 search results - page 639 / 835
» Computing Machinery and Understanding
Sort
View
LREC
2010
182views Education» more  LREC 2010»
15 years 5 months ago
Aligning FrameNet and WordNet based on Semantic Neighborhoods
This paper presents an algorithm for aligning FrameNet lexical units to WordNet synsets. Both, FrameNet and WordNet, are well-known as well as widely-used resources by the entire ...
Óscar Ferrández, Michael Ellsworth, ...
LREC
2010
173views Education» more  LREC 2010»
15 years 5 months ago
Heterogeneous Data Sources for Signed Language Analysis and Synthesis: The SignCom Project
This paper describes how heterogeneous data sources captured in the SignCom project may be used for the analysis and synthesis of French Sign Language (LSF) utterances. The captur...
Kyle Duarte, Sylvie Gibet
FIW
2007
133views Communications» more  FIW 2007»
15 years 5 months ago
Conflict Detection in Call Control Using First-Order Logic Model Checking
Feature interaction detection methods, whether online or offline, depend on previous knowledge of conflicts between the actions executed by the features. This knowledge is usually ...
Ahmed F. Layouni, Luigi Logrippo, Kenneth J. Turne...
FORTE
2007
15 years 5 months ago
The DHCP Failover Protocol: A Formal Perspective
Abstract. We present a formal specification and analysis of a faulttolerant DHCP algorithm, used to automatically configure certain host parameters in an IP network. Our algorith...
Rui Fan, Ralph E. Droms, Nancy D. Griffeth, Nancy ...
GRAPHICSINTERFACE
2007
15 years 5 months ago
Location-dependent information appliances for the home
Ethnographic studies of the home revealed the fundamental roles that physical locations and context play in how household members understand and manage conventional information. Y...
Kathryn Elliot, Mark Watson, Carman Neustaedter, S...