Result 1 to 20 of 151 total
Clustering search heuristic for solving a continuous berth allocation problem. (English)
Hao, Jin-Kao (ed.) et al., Evolutionary computation in combinatorial optimization. 12th European conference, EvoCOP 2012, Málaga, Spain, April 11‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29123-4/pbk). Lecture Notes in Computer Science 7245, 49-62 (2012).
1
JCML: A specification language for the runtime verification of Java card programs. (English)
Sci. Comput. Program. 77, No. 4, 533-550 (2012).
2
Assistive mobility devices focusing on Smart Walkers: classification and review. (English)
Robot. Auton. Syst. 60, No. 4, 548-562 (2012).
3
A variant of the AOR method for augmented systems. (English)
Math. Comput. 81, No. 277, 399-417 (2012).
4
A variant of the AOR method for augmented systems (English)
Math. Comput. 81, No. 277 (2012).
5
Recursive definitions and fixed-points on well-founded structures. (English)
Theor. Comput. Sci. 412, No. 37, 4893-4904 (2011).
6
Methodology for evaluating multimodal biometric authentication on mobile devices. (English)
Marcus, Aaron (ed.), Design, user experience, and usability. Theory, methods, tools and practice. First international conference, DUXU 2011, held as Part of HCI international 2011, Orlando, FL, USA, July 9‒14, 2011. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-21674-9/pbk). Lecture Notes in Computer Science 6769, 668-677 (2011).
7
Hybrid specification of reactive systems: An institutional approach. (English)
Barthe, Gilles (ed.) et al., Software engineering and formal methods. 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14‒18, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24689-0/pbk). Lecture Notes in Computer Science 7041, 269-285 (2011).
8
Hybridization of institutions. (English)
Corradini, Andrea (ed.) et al., Algebra and coalgebra in computer science. 4th international conference, CALCO 2011, Winchester, UK, August 30‒September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22943-5/pbk). Lecture Notes in Computer Science 6859, 283-297 (2011).
9
Refinement by interpretation in $π$-institutions. (English)
Comput. Res. Repos. 2011, Article No. 1106.4093 (2011).
10
Spatial disaggregation of agricultural data: a maximum entropy approach. (English)
JP J. Biostat. 5, No. 1, 1-16 (2011).
11
On the construction of a RoboCup small size league team. (English)
J. Braz. Comput. Soc. 17, No. 1, 69-82 (2011).
12
Critical behavior of the contact process in a multiscale network. (English)
Comput. Res. Repos. 2011, Article No. 1101.1165 (2011).
13
On the construction of a RoboCup small size league team. (English)
J. Braz. Comput. Soc. 17, No. 1, 69-82 (2011).
14
Statistical treatment of misalignments in particle accelerators (English)
Computer Physics Communications 182, No. 3, 679-682 (2011).
15
On the construction of a RoboCup small size league team (English)
J. Braz. Comp. Soc. 17, No. 1, 69-82 (2011).
16
Software aging issues on the eucalyptus cloud computing infrastructure (English)
SMC, 1411-1416 (2011).
17
Hybrid specification of reactive systems: an institutional approach (English)
SEFM, 269-285 (2011).
18
Efficient method to compute minimum decision chains of Boolean functions (English)
ACM Great Lakes Symposium on VLSI, 419-422 (2011).
19
A multimodal interaction component for digital television (English)
SAC, 1253-1258 (2011).
20
Result 1 to 20 of 151 total
Start
Contact
Print
General Help
