2308 search results - page 178 / 462 » Categorial Semantics For LFG |
175
click to vote
WCRE
2006
IEEE
16 years 16 days ago
2006
IEEE
Requirements views, such as coverage and status views, are an important asset for monitoring and managing software development. We have developed a method that automates the proce...
163
click to vote
ASSETS
2006
ACM
16 years 15 days ago
2006
ACM
Visually impaired users are hindered in their efforts to access the World Wide Web (Web) because their information and presentation requirements are different from those of a sigh...
175
click to vote
LICS
2005
IEEE
16 years 3 days ago
2005
IEEE
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by ...
152
click to vote
LICS
2005
IEEE
16 years 3 days ago
2005
IEEE
The theme of this paper is profunctors, and their centrality and ubiquity in understanding concurrent computation. Profunctors (a.k.a. distributors, or bimodules) are a generalisa...
178
click to vote
ICAIL
2005
ACM
16 years 2 days ago
2005
ACM
Computational law is an approach to automated legal reasoning focusing on semantically rich laws, regulations, contract terms, and business rules in the context of electronicallym...