8196 search results - page 335 / 1640 » Computational Modeling and Complexity Science |
173
click to vote
ACSC
2004
IEEE
15 years 10 months ago
2004
IEEE
The Unified Modeling Language (UML) is widely used in the software development process for specification of system based on the object-oriented paradigm. Thought the current versi...
173
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
This paper addresses the problem of verifying programs for the relaxed memory models implemented in modern processors. Specifically, it considers the TSO (Total Store Order) relax...
162
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
The learning in a niche based learning classifier system depends both on the complexity of the problem space and on the number of available actions. In this paper, we introduce a ...
167
click to vote
CSIE
2009
IEEE
16 years 1 months ago
2009
IEEE
A multi-party contract signing (MPCS) protocol allows a set of parties to exchange messages with each other to arrive in a state in which either each of them has a pre-agreed cont...
186
Voted
GI
2007
Springer
16 years 25 days ago
2007
Springer
: Detection is an inherent part of every advanced automatic tracking system. In this work we focus on automatic detection of humans by enhanced background subtraction. Background s...