8008 search results - page 564 / 1602 » Computer-Aided Language Processing |
216
click to vote
ICTAI
2010
IEEE
15 years 4 months ago
2010
IEEE
Many applications call for methods to enable automatic extraction of structured information from unstructured natural language text. Due to inherent challenges of natural language ...
192
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
Despite recent successes, large-scale proof development within proof assistants remains an arcane art that is extremely timeconsuming. We argue that this can be attributed to two ...
202
click to vote
MIDDLEWARE
2005
Springer
16 years 3 days ago
2005
Springer
Distributed publish/subscribe systems are naturally suited for processing events in distributed systems. However, support for expressing patterns about disparate events and algorit...
171
click to vote
KBSE
2000
IEEE
15 years 11 months ago
2000
IEEE
Little-JIL, a new language for programming the coordination of agents is an executable, high-level process programming language with a formal (yet graphical) syntax and rigorously...
259
click to vote
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
We generalise a theory of multiparty session types for the π-calculus through asynchronous communication subtyping, which allows partial commutativity of actions with maximal fle...