7064 search results - page 252 / 1413 » From States to Histories |
157
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...
187
click to vote
ACCV
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We are aiming at extending the basic digital camera functionalities to the ability to simulate the flattening of a document, by virtually acting like a flatbed scanner....
144
click to vote
WER
2007
Springer
16 years 24 days ago
2007
Springer
In this paper we present initial findings from an empirical study that has been conducted with 13 marketdriven software companies based in Recife, Brazil. The objective of the stu...
209
click to vote
CCECE
2006
IEEE
16 years 23 days ago
2006
IEEE
In this paper, we introduce new algorithms for selecting taxon samples from large evolutionary trees, maintaining uniformity and randomness, under certain new constraints on the t...
138
Voted
ICDM
2006
IEEE
16 years 23 days ago
2006
IEEE
Many people cooperate for creating something new. It is important for the team’s perfomance to build a trusting relationship. It is necessary for building the trusting relations...