Sciweavers

7296 search results - page 303 / 1460
» informs 2010
Sort
View
IEEECIT
2010
IEEE
15 years 5 months ago
Interpretation of AADL Behavior Annex into Synchronous Formalism Using SSA
This article focuses on the essence and distinctive features of the AADL behavioral aspects, for which we use the code generation infrastructure of the synchronous modeling enviro...
Yue Ma, Jean-Pierre Talpin, Thierry Gautier
IEEECIT
2010
IEEE
15 years 5 months ago
Remainder Sign Analysis in Fixed-point Division
—This paper analyses remainder signs determinant issue in the computer fixed-point division operation. Together with the manual binary number division, the true code addition and...
Xuting Wan, Jianping Cai, Qifan Yang
LATIN
2010
Springer
15 years 5 months ago
The Interval Constrained 3-Coloring Problem
Abstract In this paper, we settle the open complexity status of interval constrained coloring with a fixed number of colors. We prove that the problem is already NP-complete if th...
Jaroslaw Byrka, Andreas Karrenbauer, Laura Sanit&a...
SIGIR
2010
ACM
15 years 5 months ago
Report on INEX 2009
Thomas Beckers, Patrice Bellot, Gianluca Demartini...
AIRS
2010
Springer
15 years 4 months ago
Dynamics of Genre and Domain Intents
Abstract. As the type of content available on the web is becoming increasingly diverse, a particular challenge is to properly determine the types of documents sought by a user, tha...
Shanu Sushmita, Benjamin Piwowarski, Mounia Lalmas