Sciweavers

2635 search results - page 251 / 527
» Refactoring Process Models in Large Process Repositories
Sort
View
129
Voted
SPLC
2007
15 years 4 months ago
A Variability Modeling Method for Adaptable Services in Service-Oriented Computing
Publish-Discover-Compose paradigm of Service-Oriented Computing (SOC) presents a challenge on service applicability. Services are not just for predefined clients, rather for poten...
Soo Ho Chang, Soo Dong Kim
112
Voted
NN
2007
Springer
15 years 3 months ago
A neural model of decision-making by the superior colicullus in an antisaccade task
In the antisaccade paradigm subjects are instructed to perform eye movements in the opposite direction from the location of a visually appearing stimulus while they are fixating ...
Vassilis Cutsuridis, Nikolaos Smyrnis, Ioannis Evd...
GLVLSI
2009
IEEE
150views VLSI» more  GLVLSI 2009»
15 years 10 months ago
Contradictory antecedent debugging in bounded model checking
In the context of formal verification Bounded Model Checking (BMC) has shown to be very powerful for large industrial designs. BMC is used to check whether a circuit satisfies a...
Daniel Große, Robert Wille, Ulrich Kühn...
DATE
2007
IEEE
173views Hardware» more  DATE 2007»
15 years 10 months ago
Analytical router modeling for networks-on-chip performance analysis
Networks-on-Chip (NoCs) have recently emerged as a scalable alternative to classical bus and point-to-point architectures. To date, performance evaluation of NoC designs is largel...
Ümit Y. Ogras, Radu Marculescu
139
Voted
WACV
2005
IEEE
15 years 9 months ago
Semi-Supervised Self-Training of Object Detection Models
The construction of appearance-based object detection systems is time-consuming and difficult because a large number of training examples must be collected and manually labeled i...
Chuck Rosenberg, Martial Hebert, Henry Schneiderma...