4524 search results - page 674 / 905 » The Complexity of Global Constraints |
210
click to vote
LATIN
2004
Springer
16 years 19 days ago
2004
Springer
Equality logic with or without uninterpreted functions is used for proving the equivalence or refinement between systems (hardware verification, compiler’s translation, etc). C...
180
click to vote
AIPR
2003
IEEE
16 years 17 days ago
2003
IEEE
In the research reported in this paper, we propose to overcome the unavailability of Global Positioning System (GPS) using combined information obtained from a scanning LADAR rang...
164
click to vote
APSEC
2003
IEEE
16 years 17 days ago
2003
IEEE
Current IP phone architectures which bring phone services to a distributed open environment are eraltively static and do not scale well. An IP phone environment should be more dyn...
268
click to vote
HICSS
2003
IEEE
16 years 17 days ago
2003
IEEE
From the 1990s on, one of the most important challenges facing computer science researchers has been the design and construction of software tools to exploit Internet computing. A...
182
click to vote
ICDM
2003
IEEE
16 years 17 days ago
2003
IEEE
In this paper, we propose a novel technique for the efficient prediction of multiple continuous target variables from high-dimensional and heterogeneous data sets using a hierarch...