358 search results - page 71 / 72 » Introducing Formal Specification Methods in Industrial Pract... |
221
click to vote
ICDE
2008
IEEE
16 years 4 months ago
2008
IEEE
Similarity search has been widely used in many applications such as information retrieval, image data analysis, and time-series matching. Specifically, a similarity query retrieves...
121
Voted
ER
2007
Springer
15 years 9 months ago
2007
Springer
Provability-based semantic interoperability (PBSI) is a kind of interoperability that transcends mere syntactic translation to allow for robust, meaningful information exchange acr...
123
Voted
FASE
2007
Springer
15 years 9 months ago
2007
Springer
The Declared Type Generalization Checker is a plug-in for Eclipse’s Java Development Tools (JDT) that supports developers in systematically finding and using better fitting types...
130
click to vote
CHI
2007
ACM
16 years 3 months ago
2007
ACM
We study small distributed work groups capturing, managing, and reusing knowledge in a collaborative activity. We conceive this process as adaptation of a group to an activity and...
135
Voted
AIPS
2009
15 years 4 months ago
2009
When modeling real-world decision-theoretic planning problems in the Markov decision process (MDP) framework, it is often impossible to obtain a completely accurate estimate of tr...