4480 search results - page 46 / 896 » Prototyping Completion with Constraints Using Computational ... |
138
Voted
TVCG
2008
15 years 3 months ago
2008
Building visualization and analysis pipelines is a large hurdle in the adoption of visualization and workflow systems by domain scientists. In this paper, we propose techniques to ...
134
click to vote
APN
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Time Petri nets have proved their interest in modeling realtime concurrent systems. Their usual semantics is defined in term of firing sequences, which can be coded in a ...
88
Voted
CIKM
1997
Springer
15 years 7 months ago
1997
Springer
In this paper, we present a complete analysis of redundant relationships in the entity-relationship model. Existing approaches use the concept of functional dependencies for ident...
115
click to vote
IJCAI
2007
15 years 4 months ago
2007
We introduce a human-computer interaction system which collaborates with a user by providing feedback during user activities. The goal of the system is to help a user complete a h...
150
click to vote
OSDI
2002
ACM
16 years 3 months ago
2002
ACM
We have created Zap, a novel system for transparent migration of legacy and networked applications. Zap provides a thin virtualization layer on top of the operating system that in...