Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
![]() |
Beyond specificityKyburg, Henry E.Uncertainty in Knowledge Bases, 2005, p.203-212 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
2 |
Material Type: Ata de Congresso
|
![]() |
Approximate validityKyburg, Henry E.Learning and Reasoning with Complex Representations, 2005, p.61-77 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
3 |
Material Type: Ata de Congresso
|
![]() |
CPN Tools for Editing, Simulating, and Analysing Coloured Petri NetsRatzer, Anne Vinter ; Wells, Lisa ; Lassen, Henry Michael ; Laursen, Mads ; Qvortrup, Jacob Frank ; Stissing, Martin Stig ; Westergaard, Michael ; Christensen, Søren ; Jensen, KurtApplications and Theory of Petri Nets 2003, 2003, p.450-462 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
4 |
Material Type: Ata de Congresso
|
![]() |
Robust and Efficient Tracker Using Dictionary of Binary Descriptors and Locality ConstraintsMinnehan, Breton ; Spang, Henry ; Savakis, Andreas E.Advances in Visual Computing, p.589-598 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
5 |
Material Type: Ata de Congresso
|
![]() |
On Partitioning Problems with Complex ObjectivesKaya, Kamer ; Rouet, François-Henry ; Uçar, BoraEuro-Par 2011: Parallel Processing Workshops, p.334-344 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
6 |
Material Type: Ata de Congresso
|
![]() |
HoneyStat: Local worm detection using honeypotsDAGON, David ; XINZHOU QIN ; GUOFEI GU ; WENKE LEE ; GRIZZARD, Julian ; LEVINE, John ; OWEN, HenryLecture notes in computer science, 2004, p.39-58 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
7 |
Material Type: Ata de Congresso
|
![]() |
Immunologic Control Framework for Automated Material HandlingLau, Henry Y. K. ; Wong, Vicky W. K.Artificial Immune Systems, 2003, p.57-68 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
8 |
Material Type: Ata de Congresso
|
![]() |
Aggregation of Continuous Monitoring Queries in Wireless Sensor Networking SystemsLam, Kam-Yiu ; Pang, Henry C. W.Advances in Database Technology - EDBT 2004, 2004, p.830-833 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
9 |
Material Type: Ata de Congresso
|
![]() |
Using Problem Structure for Efficient Clause LearningSabharwal, Ashish ; Beame, Paul ; Kautz, HenryLecture notes in computer science, 2004, p.242-256 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
10 |
Material Type: Ata de Congresso
|
![]() |
Utility-Based Role ExchangeZhang, Xin ; Hexmoor, HenryFrom Theory to Practice in Multi-Agent Systems, 2002, p.332-340 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |