2135 search results - page 207 / 427 » An Operational Semantics for JavaScript |
131
Voted
EICS
2010
ACM
15 years 5 months ago
2010
ACM
We propose an approach that takes as input a task model, which includes the user's view of the interactive system, and automatically discovers a set of categorized and ranked...
152
click to vote
CADE
2008
Springer
15 years 5 months ago
2008
Springer
LogAnswer is an open domain question answering system which employs an automated theorem prover to infer correct replies to natural language questions. For this purpose LogAnswer o...
125
click to vote
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
At the "functional level", Semantic Web Services (SWS) are described akin to planning operators, with preconditions and effects relative to an ontology; the ontology prov...
122
click to vote
FOMI
2008
15 years 5 months ago
2008
There is a trend in some manufacturing industries to move from selling products to providing services. As a result, designers must consider the life-cycle costs. In the aero indust...
138
click to vote
FORTE
2001
15 years 4 months ago
2001
Abstract Subtyping relations for object-oriented formalisms describe relationships between super- and subclasses which satisfy the substitutability requirement imposed on types and...