Sciweavers

248 search results - page 33 / 50
» Towards a Theory of Context Spaces
Sort
View
CCECE
2006
IEEE
14 years 1 months ago
A Dynamic Associative E-Learning Model based on a Spreading Activation Network
Presenting information to an e-learning environment is a challenge, mostly, because ofthe hypertextlhypermedia nature and the richness ofthe context and information provides. This...
Phongchai Nilas, Nilamit Nilas, Somsak Mitatha
CVPR
2007
IEEE
14 years 9 months ago
A Topological Approach to Hierarchical Segmentation using Mean Shift
Mean shift is a popular method to segment images and videos. Pixels are represented by feature points, and the segmentation is driven by the point density in feature space. In thi...
Frédo Durand, Sylvain Paris
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
14 years 2 days ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...
HICSS
2003
IEEE
121views Biometrics» more  HICSS 2003»
14 years 1 months ago
Fifteen Years of GSS in the Field: A Comparison Across Time and National Boundaries
It has been over two decades since Group Support Systems (GSS) emerged on the Information Technology (IT) scene. GSS have now been commercialized and are present in an increasing ...
Gert-Jan de Vreede, Douglas R. Vogel, Gwendolyn L....
AAAI
1994
13 years 9 months ago
Activity Analysis: The Qualitative Analysis of Stationary Points for Optimal Reasoning
We present a theory of a modeler's problem decomposition skills in the context of optimal reasonzng -- the use of qualitative modeling to strategically guide numerical explor...
Brian C. Williams, Jonathan Cagan