Sciweavers

2624 search results - page 456 / 525
» On Business Process Model Transformations
Sort
View
DAC
1995
ACM
15 years 7 months ago
Automatic Clock Abstraction from Sequential Circuits
Our goal is to transform a low-level circuit design into a more representation. A pre-existing tool, Tranalyze [4], takes a switch-level circuit and generates a functionally equiv...
Samir Jain, Randal E. Bryant, Alok Jain
DS
2001
118views Database» more  DS 2001»
15 years 5 months ago
Constraints as Mobile Specifications in E-Commerce Applications
We show how quantified constraints expressed in a sub-language of first-order logic, againstashareddatamodelthatisfreetoevolve, provideanexcellentwayof transporting domain-specific...
Kit-ying Hui, Peter M. D. Gray, Graham J. L. Kemp,...
ACL
1998
15 years 5 months ago
Some Properties of Preposition and Subordinate Conjunction Attachments
Determining the attachments of prepositions and subordinate conjunctions is a key problem in parsing natural language. This paper presents a trainable approach to making these att...
Alexander S. Yeh, Marc B. Vilain
GECCO
2008
Springer
104views Optimization» more  GECCO 2008»
15 years 5 months ago
Understanding elementary landscapes
The landscape formalism unites a finite candidate solution set to a neighborhood topology and an objective function. This construct can be used to model the behavior of local sea...
Darrell Whitley, Andrew M. Sutton, Adele E. Howe
TCSV
2008
88views more  TCSV 2008»
15 years 3 months ago
Fast and Efficient Method for Block Edge Classification and Its Application in H.264/AVC Video Coding
Edge is an important feature in video classification which finds applications in video representation and coding. In H.264/AVC, intra-prediction mode decision (a computationally in...
Hongliang Li, King Ngi Ngan, Zhenyu Wei