7890 search results - page 1168 / 1578 » The MathSAT 3 System |
158
click to vote
SIGGRAPH
2003
ACM
16 years 3 days ago
2003
ACM
Modelling by analogy has become a powerful paradigm for editing images. Using a pair of before- and afterexample images of a transformation, a system that models by analogy produc...
176
click to vote
CIA
2003
Springer
16 years 3 days ago
2003
Springer
Abstract For an information-agent-based system to support virtual (Internet-supported) organisations, changes in environmental conditions often demand changes in organisational beh...
195
click to vote
CIKM
2003
Springer
16 years 3 days ago
2003
Springer
Keeping track of changes in user interests from a document stream with a few relevance judgments is not an easy task. To tackle this problem, we propose a novel method that integr...
196
click to vote
CONCUR
2003
Springer
16 years 3 days ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
180
click to vote
ESOP
2003
Springer
16 years 3 days ago
2003
Springer
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...