Result 1 to 20 of 185 total
Virtual location-based indoor guide. (English)
Ma, Minhua (ed.) et al., Serious games development and applications. Second international conference, SGDA 2011, Lisbon, Portugal, September 19‒20, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23833-8/pbk). Lecture Notes in Computer Science 6944, 36-48 (2011).
1
Transitive closures and orderings on soft sets. (English)
Comput. Math. Appl. 62, No. 5, 2235-2239 (2011).
2
On the graphs whose $L(2,1)$-span is the same as their inh $L(2,1)$-span. (English)
Congr. Numerantium 210, 169-179 (2011).
3
Rank numbers for some trees and unicyclic graphs. (English)
Aequationes Math. 82, No. 1-2, 65-79 (2011).
4
Specifying confidentiality in circus. (English)
Butler, Michael (ed.) et al., FM 2011: formal methods. 17th international symposium on formal methods, Limerick, Ireland, June 20‒24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21436-3/pbk). Lecture Notes in Computer Science 6664, 215-230 (2011).
5
Discrete Bernoulli convolutions: an algorithmic approach toward bound improvement. (English)
Proc. Am. Math. Soc. 139, No. 5, 1579-1584 (2011).
6
Issues in the development of location-based games (English)
Int. J. Computer Games Technology 2011 (2011).
7
Time-constrained project scheduling with adjacent resources (English)
Computers & OR 38, No. 1, 310-319 (2011).
8
Transitive closures and orderings on soft sets (English)
Computers & Mathematics with Applications 62, No. 5, 2235-2239 (2011).
9
Efficient scheduling for multiple automated non-holonomic vehicles using a coordinated path planner (English)
ICRA (2011).
10
Specifying confidentiality in circus (English)
FM, 215-230 (2011).
11
A fall detection study on the sensors placement location and a rule-based multi-thresholds algorithm using both accelerometer and gyroscopes (English)
FUZZ-IEEE, 666-671 (2011).
12
Variations of graph coloring, domination, and combinations of both: a brief survey. (English)
Acharya, B. D. (ed.) et al., Advances in discrete mathematics and applications: Mysore, 2008. Proceedings of the international conference on discrete mathematics (ICDM 2008), Mysore, India, June 6‒10, 2008. Mysore: Ramanujan Mathematical Society (ISBN 978-93-80416-03-8/hbk). Ramanujan Mathematical Society Lecture Notes Series 13, 133-152 (2010).
13
Unifying theories of confidentiality. (English)
Qin, Shengchao (ed.), Unifying theories of programming. Third international symposium, UTP 2010, Shanghai, China, November 15‒16, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16689-1/pbk). Lecture Notes in Computer Science 6445, 120-136 (2010).
14
On modelling user observations in the UTP. (English)
Qin, Shengchao (ed.), Unifying theories of programming. Third international symposium, UTP 2010, Shanghai, China, November 15‒16, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16689-1/pbk). Lecture Notes in Computer Science 6445, 101-119 (2010).
15
Defending the weakest link: phishing websites detection by analysing user behaviours. (English)
Telecommun. Syst. 45, No. 2-3, 215-226 (2010).
16
io-port 05756599 Jacob, Joseph C.;
Katz, Daniel S.;
Berriman, G.Bruce;
Good, John;
Laity, Anastasia C.;
Deelman, Ewa;
Kesselman, Carl;
Singh, Gurmeet;
Su, Mei-Hui;
Prince, Thomas A.;
Williams, Roy
Montage: a grid portal and software toolkit for science-grade astronomical image mosaicking. (English)
Comput. Res. Repos. 2010, Article No. 1005.4454 (2010).
17
Trace specifications in Alloy. (English)
Frappier, Marc (ed.) et al., Abstract state machines, Alloy, B and Z. Second international conference, ABZ 2010, Orford, QC, Canada, February 22‒25, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11810-4/pbk). Lecture Notes in Computer Science 5977, 105-117 (2010).
18
Correlation clustering model for crime pattern detection (English)
Int. J. Adv. Comp. Techn. 2, No. 5, 125-128 (2010).
19
A review of new analytic techniques for quantifying symmetry in locomotion (English)
Symmetry 2, No. 2, 1135-1155 (2010).
20
Result 1 to 20 of 185 total
Start
Contact
Print
General Help
