2108 search results - page 152 / 422 » An Operational Semantics for Stateflow |
133
click to vote
ICAD
2004
15 years 6 months ago
2004
This paper describes a design approach for creating generic computer user interfaces with spatial auditory displays. It proposes a structured depiction process from formulating mo...
124
Voted
KRDB
1998
15 years 6 months ago
1998
Previous researchers note the problem for semantic optimisation of database queries caused by its production of a large number of semantically equivalent alternative queries, from...
142
click to vote
APAL
2004
15 years 4 months ago
2004
Modus ponens provides the central theme. There are laws, of the form A C. A logic (or other theory) L collects such laws. Any datum A (or theory T incorporating such data) provid...
122
click to vote
ICML
2009
IEEE
16 years 5 months ago
2009
IEEE
We develop a cyclical blockwise coordinate descent algorithm for the multi-task Lasso that efficiently solves problems with thousands of features and tasks. The main result shows ...
112
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
The paper presents an idea about joint use some of new technologies such as the Semantic Web, Web services and Web agents together with an already existing concept. It is a concep...