1256 search results - page 166 / 252 » Tools for Exploring Natural Language |
84
Voted
JLP
2006
14 years 10 months ago
2006
This paper describes in detail how to bridge the gap between theory and practice when implementing in Maude structural operational semantics described in rewriting logic, where tr...
91
Voted
ENTCS
2007
14 years 10 months ago
2007
The timed concurrent constraint programming language (tccp in short) was introduced for modeling reactive systems. This language allows one to model in a very intuitive way typica...
140
Voted
ESORICS
2012
Springer
13 years 19 days ago
2012
Springer
Tracking information flow in dynamic languages remains an open challenge. It might seem natural to address the challenge by runtime monitoring. However, there are well-known funda...
IUI
2006
ACM
15 years 4 months ago
2006
ACM
This paper presents a community of communicating embodied agents which learn an adjacency-based grammar from user interactions. The agents act as intelligent fridge magnets, each ...
89
Voted
FDL
2005
IEEE
15 years 3 months ago
2005
IEEE
Embedded system designs and simulations become tedious and time consuming due to the complexity of modern applications. Thus, languages allowing high level description, such as Sy...