1027 search results - page 99 / 206 » Representing and Reasoning with Operational Semantics |
105
Voted
VLDB
2005
ACM
15 years 6 months ago
2005
ACM
Schemas evolve over time to accommodate the changes in the information they represent. Such evolution causes invalidation of various artifacts depending on the schemas, such as sc...
89
Voted
SEKE
2005
Springer
15 years 6 months ago
2005
Springer
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
84
Voted
ICML
2009
IEEE
16 years 1 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 ...
141
click to vote
SAMT
2007
Springer
15 years 6 months ago
2007
Springer
Performing simple keyword-based search has long been the only way to access information. But for a truly comprehensive search on multimedia data, this approach is no longer su cien...
111
click to vote
CL
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We propose an extension of concurrent constraint programming with primitives for process migration within a hierarchical network, and we study its semantics. To this purp...