424 search results - page 77 / 85 » Smoothing Techniques for Tree-k-Grammar-Based Natural Langua... |
LICS
2006
IEEE
14 years 2 months ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
CCS
2005
ACM
14 years 1 months ago
2005
ACM
Human-memorable passwords are a mainstay of computer security. To decrease vulnerability of passwords to bruteforce dictionary attacks, many organizations enforce complicated pass...
HPCN
2000
Springer
14 years 11 hour ago
2000
Springer
The Java programming language and environment is stimulating new research activities in many areas of computing, not the least of which is parallel computing. Parallel techniques ...
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
Embodied conversational agents are required to be able to express themselves convincingly and autonomously. Based on an empirial study on spatial descriptions of landmarks in dire...
OOPSLA
2009
Springer
14 years 3 months ago
2009
Springer
We present Chorus, a high-level parallel programming model suitable for irregular, heap-manipulating applications like mesh refinement and epidemic simulations, and JChorus, an i...