Sciweavers

7064 search results - page 252 / 1413
» From States to Histories
Sort
View
KBSE
2009
IEEE
16 years 1 months ago
Cache-Based Model Checking of Networked Applications: From Linear to Branching Time
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...
Cyrille Artho, Watcharin Leungwattanakit, Masami H...
ACCV
2007
Springer
16 years 27 days ago
Shape from Contour for the Digitization of Curved Documents
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....
Frédéric Courteille, Jean-Denis Duro...
WER
2007
Springer
16 years 24 days ago
Preliminary Results from an Empirical Study in Market-Driven Software Companies
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...
Carina Alves, Silvia Pereira, George Valenç...
CCECE
2006
IEEE
16 years 23 days ago
New Constraints on Generation of Uniform Random Samples from Evolutionary Trees
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...
Anupam Bhattacharjee, Zalia Shams, Kazi Zakia Sult...
138
Voted
ICDM
2006
IEEE
91views Data Mining» more  ICDM 2006»
16 years 23 days ago
Estimation System of People's Freindship and Hierarchical Relationship from Sentence Types
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...
Yoko Nishihara, Wataru Sunayama, Masahiko Yachida