Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
![]() |
Borderline-SMOTE: A New Over-Sampling Method in Imbalanced Data Sets LearningHan, Hui ; Wang, Wen-Yuan ; Mao, Bing-HuanAdvances in Intelligent Computing, 2005, p.878-887 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |
2 |
Material Type: Ata de Congresso
|
![]() |
KNN model-based approach in classificationGONGDE GUO ; HUI WANG ; BELL, David ; YAXIN BI ; GREER, KieranLecture notes in computer science, 2003, p.986-996 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
3 |
Material Type: Ata de Congresso
|
![]() |
A Practical Approach to Recognizing Physical ActivitiesLester, Jonathan ; Choudhury, Tanzeem ; Borriello, GaetanoLecture notes in computer science, 2006, p.1-16 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |
4 |
Material Type: Ata de Congresso
|
![]() |
CUTE and jCUTE : Concolic unit testing and explicit path model-checking toolsSEN, Koushik ; AGHA, GulLecture notes in computer science, 2006, p.419-423 [Periódico revisado por pares]New York: SpringerSem texto completo |
5 |
Material Type: Ata de Congresso
|
![]() |
Locally Optimized RANSACChum, Ondřej ; Matas, Jiří ; Kittler, JosefLecture notes in computer science, 2003, p.236-243 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
6 |
Material Type: Ata de Congresso
|
![]() |
ProB: A Model Checker for BLeuschel, Michael ; Butler, MichaelFME 2003: Formal Methods, 2003, p.855-874 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
7 |
Material Type: Ata de Congresso
|
![]() |
On Trip Planning Queries in Spatial DatabasesLi, Feifei ; Cheng, Dihan ; Hadjieleftheriou, Marios ; Kollios, George ; Teng, Shang-HuaAdvances in Spatial and Temporal Databases, 2005, p.273-290 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |
8 |
Material Type: Ata de Congresso
|
![]() |
On High Dimensional SkylinesChan, Chee-Yong ; Jagadish, H. V. ; Tan, Kian-Lee ; Tung, Anthony K. H. ; Zhang, ZhenjieAdvances in Database Technology - EDBT 2006, 2006, p.478-495 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |
9 |
Material Type: Ata de Congresso
|
![]() |
PSL Model Checking and Run-Time Verification Via TestersPnueli, A. ; Zaks, A.FM 2006: Formal Methods, 2006, p.573-586 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |
10 |
Material Type: Ata de Congresso
|
![]() |
Bridging Physical and Virtual Worlds: Complex Event Processing for RFID Data StreamsWang, Fusheng ; Liu, Shaorong ; Liu, Peiya ; Bai, YijianAdvances in Database Technology - EDBT 2006, 2006, p.588-607 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |