Sciweavers

14709 search results - page 2519 / 2942
» Semantic feature modelling
Sort
View
ISOLA
2004
Springer
16 years 12 days ago
Embedding Finite Automata within regular Expressions
Abstract. Regular expressions and their extensions have become a major component of industry-standard specification languages such as PSL/Sugar ([2]). The model checking procedure...
Shoham Ben-David, Dana Fisman, Sitvanit Ruah
MABS
2004
Springer
16 years 11 days ago
Layering Social Interaction Scenarios on Environmental Simulation
For an integrated simulation such as the natural environment affected by human society, it is indispensable to provide an integrated simulator that incorporates multiple computatio...
Daisuke Torii, Toru Ishida, Stéphane Bonnea...
ECCV
2010
Springer
16 years 11 days ago
Enhancing Interactive Image Segmentation with Automatic Label Set Augmentation
Abstract. We address the problem of having insufficient labels in an interactive image segmentation framework, for which most current methods would fail without further user inter...
CCGRID
2003
IEEE
16 years 10 days ago
Chameleon: A Resource Scheduler in A Data Grid Environment
Grid computing is moving into two ways. The Computational Grid focuses on reducing execution time of applications that require a great number of computer processing cycles. The Da...
Sang-Min Park, Jai-Hoon Kim
DATE
2003
IEEE
98views Hardware» more  DATE 2003»
16 years 9 days ago
Using Formal Techniques to Debug the AMBA System-on-Chip Bus Protocol
System-on-chip (SoC) designs use bus protocols for high performance data transfer among the Intellectual Property (IP) cores. These protocols incorporate advanced features such as...
Abhik Roychoudhury, Tulika Mitra, S. R. Karri
« Prev « First page 2519 / 2942 Last » Next »