Sciweavers

747 search results - page 55 / 150
» An Alternative Representation for QBF
Sort
View
ENTCS
2010
108views more  ENTCS 2010»
15 years 3 months ago
Integrating Textual and Graphical Modelling Languages
Graphical diagrams are the main modelling constructs offered by the popular modelling language UML. Because textual representations of models also have their benefits, we investig...
Luc Engelen, Mark van den Brand
CVPR
2007
IEEE
16 years 8 months ago
Filtered Component Analysis to Increase Robustness to Local Minima in Appearance Models
Appearance Models (AM) are commonly used to model appearance and shape variation of objects in images. In particular, they have proven useful to detection, tracking, and synthesis...
Fernando De la Torre, Alvaro Collet, Manuel Quero,...
ICIP
2001
IEEE
16 years 7 months ago
Lossless and near-lossless image compression with color transformations
A comparison of lossleess compression results is given for RGB, YCRCB and reversible JPEG 2000 color space. The paper describes the general conditions that rounding errors of a co...
Marek Domanski, Krzysztof Rakowski
BIRTHDAY
2009
Springer
16 years 28 days ago
No i-Sums for Nissim (and Shalom)
Lappin and Francez (1994) present a theory of donkey anaphora which, they claim, captures both their existential and their universal readings, while maintaining a uniform represent...
Itamar Francez
IV
2009
IEEE
114views Visualization» more  IV 2009»
16 years 23 days ago
Chronos: A Tool for Interactive Scheduling and Visualisation of Task Hierarchies
Visualisation and structuring of tasks in a schedule, from relatively simple activities such as meeting scheduling to more complex ones such as project planning, has been traditio...
Saturnino Luz, Masood Masoodian, Daniel McKenzie, ...