5084 search results - page 767 / 1017 » Proving Possibility Properties |
165
click to vote
TASE
2007
IEEE
16 years 27 days ago
2007
IEEE
The design of an embedded control system starts with an investigation of properties and behaviors of the process evolving within its environment, and an analysis of the requiremen...
199
click to vote
CAIP
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Cardiac dynamics suppression is a main issue for visual improvement and computation of tissue mechanical properties in IntraVascular UltraSound (IVUS). Although in recent...
163
click to vote
COSIT
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. This paper analyses the semantics of natural language expressions that are associated with the intuitive notion of ‘place’. We note that the nature of such terms is h...
201
click to vote
CP
2007
Springer
16 years 24 days ago
2007
Springer
While many real-world combinatorial problems can be advantageously modeled and solved using Constraint Programming, scalability remains a major issue in practice. Constraint models...
176
click to vote
DNIS
2007
Springer
16 years 24 days ago
2007
Springer
The use of XML has become pervasive. It is used in a range of data storage and data exchange applications. In many cases such XML data is captured from users via forms or transform...