1458 search results - page 95 / 292 » System Model-Based Definition of Modeling Language Semantics |
TNN
1998
14 years 9 months ago
1998
Abstract—Natural language understanding involves the simultaneous consideration of a large number of different sources of information. Traditional methods employed in language an...
ASIACRYPT
2006
Springer
15 years 1 months ago
2006
Springer
Non-interactive zero-knowledge proofs play an essential role in many cryptographic protocols. We suggest several NIZK proof systems based on prime order groups with a bilinear map...
ATAL
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. In this paper, we describe the Cognitive Agents Specification Language (CASL), and exhibit its characteristics by using it to model the multiagent feature interaction re...
ICFP
2007
ACM
15 years 9 months ago
2007
ACM
There has been much work in recent years on extending ML with recursive modules. One of the most difficult problems in the development of such an extension is the double vision pr...
100
click to vote
GI
2009
Springer
14 years 7 months ago
2009
Springer
: Study variables in clinical trial specifications are often defined manually, depending on the knowledge and experience of the author rather than on commonly agreed methods and st...