Sciweavers

6153 search results - page 868 / 1231
» Modeling Cyclic Change
Sort
View
UIST
1993
ACM
15 years 11 months ago
Skeletal Strokes
A skeletal stroke is a kind of general brush stroke for changing the shape of pictures as if by bending, shearing, twisting, while conservating the aspect ratio of selected featur...
S. C. Hsu, I. H. H. Lee, Neil E. Wiseman
IFIP
1989
Springer
15 years 10 months ago
Industrial Strength Software Development Environments
‘‘Industrial strength’’ software development environments (SDEs) must provide facilities to address three essential properties of multi-developer software systems: evoluti...
Dewayne E. Perry
ICLP
2010
Springer
15 years 10 months ago
Efficient Solving of Time-dependent Answer Set Programs
Answer set programs with time predicates are useful to model systems whose properties depend on time, like for example gene regulatory networks. A state of such a system at time po...
Timur Fayruzov, Jeroen Janssen, Dirk Vermeir, Chri...
CVPR
2009
IEEE
15 years 10 months ago
Learning to associate: HybridBoosted multi-target tracker for crowded scene
We propose a learning-based hierarchical approach of multi-target tracking from a single camera by progressively associating detection responses into longer and longer track fragm...
Yuan Li, Chang Huang, Ram Nevatia
ICCAD
2007
IEEE
165views Hardware» more  ICCAD 2007»
15 years 10 months ago
Automated refinement checking of concurrent systems
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
Sudipta Kundu, Sorin Lerner, Rajesh Gupta