Sciweavers

16606 search results - page 409 / 3322
» Context Modeling: Task Model and Practice Model
Sort
View
ISMVL
1994
IEEE
98views Hardware» more  ISMVL 1994»
15 years 11 months ago
Digital Circuit Verification Using Partially-Ordered State Models
Many aspects of digital circuit operation can be efficiently verified by simulating circuit operation over "weakened" state values. This technique has long been practice...
Carl-Johan H. Seger, Randal E. Bryant
MBUI
2004
121views User Interface» more  MBUI 2004»
15 years 8 months ago
Integrating dialog modelling and application development
Based on a set of characteristics for diffusion of technology, we question the current state and direction of MBUID. We have suggest a set of requirements based on this set of cha...
Hallvard Trætteberg
BIOSYSTEMS
2008
59views more  BIOSYSTEMS 2008»
15 years 6 months ago
On the impulsive controllability and bifurcation of a predator-pest model of IPM
From a practical point of view, the most efficient strategy for pest control is to combine an array of techniques to control the wide variety of potential pests that may threaten ...
Hong Zhang, Paul Georgescu, Lansun Chen
INFORMATICALT
2006
150views more  INFORMATICALT 2006»
15 years 6 months ago
A Multiresolution Approach Based on MRF and Bak-Sneppen Models for Image Segmentation
The two major Markov Random Fields (MRF) based algorithms for image segmentation are the Simulated Annealing (SA) and Iterated Conditional Modes (ICM). In practice, compared to the...
Kamal E. Melkemi, Mohamed Batouche, Sebti Foufou
AOSE
2007
Springer
16 years 28 days ago
Developing a Multiagent Conference Management System Using the O-MaSE Process Framework
This paper describes how the Organization-based Multiagent Systems Engineering (O-MaSE) methodology can be applied to an exemplar multiagent system, the Conference Management Syste...
Scott A. DeLoach