109
Voted
ACSD
2010
IEEE
15 years 7 days ago
2010
IEEE
Abstract--Safety properties are an important class of properties as in the industrial use of model checking a large majority of the properties to be checked are safety properties. ...
103
Voted
ACMSE
2010
ACM
15 years 7 days ago
2010
ACM
Developing software from models is a growing practice and there exist many model-based tools (e.g., model editors, model interpreters) for supporting model-driven engineering. Eve...
ACL
2010
15 years 7 days ago
2010
Nivre's method was improved by enhancing deterministic dependency parsing through application of a tree-based model. The model considers all words necessary for selection of ...
142
Voted
ACL
2010
15 years 7 days ago
2010
Scoring sentences in documents given abstract summaries created by humans is important in extractive multi-document summarization. In this paper, we formulate extractive summariza...
117
Voted
ACL
2010
15 years 7 days ago
2010
In this paper we present a joint content selection and compression model for single-document summarization. The model operates over a phrase-based representation of the source doc...
106
Voted
WIOPT
2010
IEEE
15 years 16 days ago
2010
IEEE
—The paper presents a methodology that combines statistical learning with constraint optimization by locally optimizing Radio Resource Management (RRM) or system parameters of po...
132
Voted
WCNC
2010
IEEE
15 years 16 days ago
2010
IEEE
—Since sensor nodes use batteries as their source of energy, energy-based routing becomes an important requirement to extend network lifetime. This routing is done using the node...
130
Voted
WAIM
2010
Springer
15 years 17 days ago
2010
Springer
In this paper we propose a generic model to generate basic multi-partite graphs obtained by associations found in arbitrary data. The interest of such a model is to be the formal ...
139
Voted
VR
2010
IEEE
15 years 17 days ago
2010
IEEE
We present a new interaction handling model for physics-based sound synthesis in virtual environments. A new three-level surface representation for describing object shapes, visib...
104
Voted
TVCG
2010
15 years 17 days ago
2010
—We present TanGeoMS, a tangible geospatial modeling visualization system that couples a laser scanner, projector, and a flexible physical three-dimensional model with a standar...