1418 search results - page 83 / 284 » The Dynamic Complexity of Formal Languages |
120
click to vote
INDIASE
2009
ACM
15 years 8 months ago
2009
ACM
We present an approach to automating some of the quality assurance review of software requirements documents, and promoting best practices for requirements documentation. The syst...
128
click to vote
VLSID
2002
IEEE
16 years 4 months ago
2002
IEEE
Verification is one of the most complex and expensive tasks in the current Systems-on-Chip (SOC) design process. Many existing approaches employ a bottom-up approach to pipeline v...
153
click to vote
VLDB
1998
ACM
15 years 8 months ago
1998
ACM
We propose a multi-dimensional language called nD-SQL with the following features: (i) nD-SQL supports queries that interoperate amongst multiple relational sources with heterogen...
146
click to vote
CVPR
2006
IEEE
16 years 6 months ago
2006
IEEE
In this paper we consider the problem of segmenting multiple rigid motions using multi?frame point correspondence data. The main idea of the method is to group points according to...
146
click to vote
ICFEM
1998
Springer
15 years 8 months ago
1998
Springer
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...