2835 search results - page 201 / 567 » Common Semantics for Use Cases and Task Models |
158
Voted
ICRA
2008
IEEE
15 years 11 months ago
2008
IEEE
— Simulation is frequently used in the study of multi-agent systems. Unfortunately, in many cases, it is not necessarily clear how faithfully the details of the simulated model r...
135
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
150
click to vote
BMCBI
2007
15 years 4 months ago
2007
nd: A key abstraction in representing proteomics knowledge is the notion of unique identifiers for individual entities (e.g. proteins) and the massive graph of relationships among...
144
click to vote
WS
2010
ACM
15 years 2 months ago
2010
ACM
One of the most important decisions researchers face when analyzing software systems is the choice of a proper data analysis/exchange format. In this paper, we present EvoOnt, a s...
140
click to vote
CIKM
2009
Springer
15 years 11 months ago
2009
Springer
We have studied the problem of linking event information across different languages without the use of translation systems or dictionaries. The linking is based on interlingua in...