Search for persons
X
?
Guide to Software Verification with Frama-C; Computer Science Foundations and Applied Logic ,
1
Exploring Frama-C Resources by Verifying Space Software:
, In:
?
2016 IEEE 30th International Conference on Advanced Information Networking and Applications (AINA) ,
2
A Blocking Scheme for Entity Resolution in the Semantic Web:
, In:
?
International Conference on Information Society (i-Society 2014) ,
3
Automatic and semantic pre — Selection of features using on..:
, In:
?
2023 Latin American Robotics Symposium (LARS), 2023 Brazilian Symposium on Robotics (SBR), and 2023 Workshop on Robotics in Education (WRE) ,
6
Comparison of Encoder-Decoder Networks for Soccer Field Seg..:
, In:
?
Advances in Intelligent Systems and Computing; New Knowledge in Information Systems and Technologies ,
7
Indirect Measurement of Blood Pressure and Arm's Body Compo..:
, In:
?
Proceedings of the 20th International Conference on Information Integration and Web-based Applications & Services ,
8
Linguistic Frames as Support for Entity Alignment in Knowle..:
, In:
?
2015 11th International Conference on Signal-Image Technology & Internet-Based Systems (SITIS) ,
9
Recovery Medical Articles Using Semantic Enrichment Method:
, In:
?
Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; IT Revolutions ,
10
Applying Semantic Web Services and Wireless Sensor Networks..:
, In:
?
Companion Proceedings of the XIV Brazilian Symposium on Multimedia and the Web ,
11