Sciweavers

11168 search results - page 252 / 2234
» Abstract State Processes
Sort
View
AAI
2007
66views more  AAI 2007»
15 years 6 months ago
Simulation and Analysis of Controlled Multi-Representational Reasoning Processes
Multi-representation reasoning processes often show a variety of reasoning paths that can be followed. To analyse such reasoning processes with special attention for differences b...
Tibor Bosse, Catholijn M. Jonker, Jan Treur
SIGSOFT
2008
ACM
15 years 5 months ago
Definition and modeling of process using object orientation
Software development processes can be represented as objects because they and the elements that compose them have attributes and operations, can be linked by relationships and hav...
Beatriz Terezinha Borsoi, Jorge Luis Risco Becerra
PVLDB
2010
123views more  PVLDB 2010»
15 years 5 months ago
Sharing-Aware Horizontal Partitioning for Exploiting Correlations During Query Processing
Optimization of join queries based on average selectivities is suboptimal in highly correlated databases. In such databases, relations are naturally divided into partitions, each ...
Kostas Tzoumas, Amol Deshpande, Christian S. Jense...
CAMP
2005
IEEE
16 years 9 days ago
Low Power Image Processing: Analog Versus Digital Comparison
— In this paper, a programmable analog retina is presented and compared with state of the art MPU for embedded imaging applications. The comparison is based on the energy require...
Jacques-Olivier Klein, Lionel Lacassagne, Herv&eac...
ENTCS
2006
127views more  ENTCS 2006»
15 years 6 months ago
Process Algebraic Non-product-forms
A generalization of the Reversed Compound Agent Theorem of Markovian process algebra is derived that yields separable, but non-product-form solutions for collections of interactin...
Peter G. Harrison