Sciweavers

7811 search results - page 1298 / 1563
» computing 2004
Sort
View
137
Voted
IFL
2004
Springer
138views Formal Methods» more  IFL 2004»
15 years 9 months ago
A Rational Deconstruction of Landin's SECD Machine
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...
Olivier Danvy
IH
2004
Springer
15 years 9 months ago
Information Hiding in Finite State Machine
In this paper, we consider how to hide information into finite state machine (FSM), one of the popular computation models. The key advantage of hiding information in FSM is that t...
Lin Yuan, Gang Qu
IJCNLP
2004
Springer
15 years 9 months ago
Window-Based Method for Information Retrieval
In this paper, a series of window-based methods is proposed for information retrieval. Compared with traditional tf-idf model, our approaches are based on two new key notions. The ...
Qianli Jin, Jun Zhao, Bo Xu
INLG
2004
Springer
15 years 9 months ago
The Seduced Speaker: Modeling of Cognitive Control
Abstract. Although humans are the ultimate “natural language generators”, the area of psycholinguistic modeling has been somewhat underrepresented in recent approaches to Natur...
Ardi Roelofs
IPSN
2004
Springer
15 years 9 months ago
Modeling of sensor nets in Ptolemy II
This paper describes a modeling and simulation framework called VisualSense for wireless sensor networks that builds on and leverages Ptolemy II. This framework supports actor-ori...
Philip Baldwin, Sanjeev Kohli, Edward A. Lee, Xiao...
« Prev « First page 1298 / 1563 Last » Next »