Sciweavers

12487 search results - page 210 / 2498
» Graspable Work Modeling
Sort
View
JETAI
2006
66views more  JETAI 2006»
15 years 3 months ago
A self-watching model of analogy-making and perception
hin an abstract microworld of analogy problems. This approach differs from most other models of analogy in its insistence that concepts acquire their semantics from within the syst...
James B. Marshall
ICFEM
2007
Springer
15 years 10 months ago
Machine-Assisted Proof Support for Validation Beyond Simulink
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
Chunqing Chen, Jin Song Dong, Jun Sun 0001
NCA
2003
IEEE
15 years 9 months ago
Performance analysis for a DiffServ-enabled network: The case of Relative Service
A lot of research work has recently focused on the exploitation of the DiffServ framework towards building reliable networking services that provide deterministic quality guarante...
Christos Bouras, Afrodite Sevasti
ENTCS
2007
119views more  ENTCS 2007»
15 years 3 months ago
PML: Toward a High-Level Formal Language for Biological Systems
Documentation of knowledge about biological pathways is often informal and vague, making it difficult to efficiently synthesize the work of others into a holistic understanding of...
Bor-Yuh Evan Chang, Manu Sridharan
WWW
2011
ACM
14 years 10 months ago
Geographical topic discovery and comparison
This paper studies the problem of discovering and comparing geographical topics from GPS-associated documents. GPSassociated documents become popular with the pervasiveness of loc...
Zhijun Yin, Liangliang Cao, Jiawei Han, Chengxiang...