16216 search results - page 8 / 3244 » Effective Modeling with Constraints |
PPDP
2005
Springer
15 years 2 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
COLING
2002
14 years 9 months ago
2002
The mapping between syntactic structure and prosodic structure is a widely discussed topic in linguistics. In this work we use insights gained from research on syntax-to-prosody m...
HICSS
2003
IEEE
15 years 2 months ago
2003
IEEE
This paper looks into the legal and administrative frameworks governing the different aspects of using IT as a medium and a tool in production of health care services. The adminis...
109
Voted
SAC
2003
ACM
15 years 2 months ago
2003
ACM
Query-by-example is the most popular query model for today’s image retrieval systems. A typical query image contains not only relevant objects (e.g., Eiffel Tower), but also ir...
100
click to vote
AUSAI
2005
Springer
15 years 3 months ago
2005
Springer
Most data-mining techniques seek a single model that optimizes an objective function with respect to the data. In many real-world applications several models will equally optimize...