1256 search results - page 123 / 252 » Tools for Exploring Natural Language |
230
click to vote
DANCE
2002
IEEE
15 years 11 months ago
2002
IEEE
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...
175
click to vote
LFCS
2009
Springer
16 years 29 days ago
2009
Springer
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...
173
click to vote
FDL
2006
IEEE
16 years 14 days ago
2006
IEEE
To ensure correctness and performance of real-time embedded systems, early evaluation of properties is needed. Based on design experience for real-time systems and using the conce...
151
click to vote
DSS
2007
15 years 6 months ago
2007
The use of positive and negative reasons in inference and decision aiding is a recurrent issue of investigation as far as the type of formal language to use within a DSS is concer...
160
click to vote
ACL
2009
15 years 4 months ago
2009
Automatic key phrase extraction is fundamental to the success of many recent digital library applications and semantic information retrieval techniques and a difficult and essenti...