Sciweavers

2206 search results - page 272 / 442
» Software Engineering and Modeling Education: Problems and So...
Sort
View
FLAIRS
2009
15 years 4 months ago
Unit Testing for Qualitative Spatial and Temporal Reasoning
Researchers in commonsense, qualitative spatial and temporal reasoning (QSTR) provide flexible and intuitive methods for reasoning about vague and uncertain information including ...
Carl P. L. Schultz, Robert Amor, Hans W. Guesgen
ISCAS
2007
IEEE
141views Hardware» more  ISCAS 2007»
16 years 25 days ago
Analog Emulation of a Reconfigurable Tap Changing Transformer
—Accurate analog models of power system components are required in order to realize an analog computation engine for power systems. Analog computation is an area of continued int...
Aaron St. Leger, Juan C. Jimenez, Agung Fu, Sanal ...
DOCENG
2010
ACM
15 years 7 months ago
Linking data and presentations: from mapping to active transformations
Modern GUI toolkits, and especially RIA ones, propose the concept of binding to dynamically link domain data and their presentations. Bindings are very simple to use for predefine...
Olivier Beaudoux, Arnaud Blouin
CORR
2007
Springer
150views Education» more  CORR 2007»
15 years 6 months ago
Social Information Processing in Social News Aggregation
The rise of social media sites — blogs, wikis, and Digg — underscores the transformation of the Web to a participatory medium in which users are collaboratively creating, eval...
Kristina Lerman
ITC
2003
IEEE
222views Hardware» more  ITC 2003»
15 years 11 months ago
Race: A Word-Level ATPG-Based Constraints Solver System For Smart Random Simulation
Functional verification of complex designs largely relies on the use of simulation in conjunction high-level verification languages (HVL) and test-bench automation (TBA) tools. In...
Mahesh A. Iyer