Sciweavers

21319 search results - page 3683 / 4264
» An Approach for Method Reengineering
Sort
View
ACSD
2003
IEEE
105views Hardware» more  ACSD 2003»
15 years 10 months ago
Detecting State Coding Conflicts in STG Unfoldings Using SAT
Abstract. The behaviour of asynchronous circuits is often described by Signal Transition Graphs (STGs), which are Petri nets whose transitions are interpreted as rising and falling...
Victor Khomenko, Maciej Koutny, Alexandre Yakovlev
CCGRID
2003
IEEE
15 years 10 months ago
Improving Access to Multi-dimensional Self-describing Scientific Dataset
Applications that query into very large multidimensional datasets are becoming more common. Many self-describing scientific data file formats have also emerged, which have structu...
Beomseok Nam, Alan Sussman
CIARP
2003
Springer
15 years 10 months ago
Uniclass and Multiclass Connectionist Classification of Dialogue Acts
Classification problems are traditionally focused on uniclass samples, that is, each sample of the training and test sets has one unique label, which is the target of the classific...
María José Castro Bleda, David Vilar...
COMPSAC
2001
IEEE
15 years 10 months ago
Utilizing Object-Oriented Databases for Concurrency Control in Virtual Environments
Virtual Reality Modeling Language (VRML) is widely used to represent, create, and display virtual reality objects and their environment. Some VRML applications require concurrent ...
Damla Turgut, Nevin Aydin, Ramez Elmasri, Begumhan...
ESWS
2010
Springer
15 years 10 months ago
Towards Practical Semantic Web Service Discovery
Service orientation is a promising paradigm for offering and consuming functionalities within and across organizations. Ever increasing acceptance of service oriented architecture...
Martin Junghans, Sudhir Agarwal, Rudi Studer
« Prev « First page 3683 / 4264 Last » Next »