4418 search results - page 616 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
214
click to vote
ICCSA
2003
Springer
15 years 12 months ago
2003
Springer
This paper presents a complete modeling system that extracts complex building structures with irregular shapes and surfaces. Our modeling approach is based on the use of airborne L...
272
click to vote
TC
2002
15 years 6 months ago
2002
Dynamic Power Management (DPM) is a design methodology aiming at reducing power consumption of electronic systems by performing selective shutdown of idle system resources. The eff...
192
click to vote
ANLP
1994
15 years 8 months ago
1994
We present the advantages of guided sentences composition for communicating in natural language with computers. We show how guidance can be achieved by means of the partial synthe...
187
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Search queries applied to extract relevant information from the World Wide Web over a period of time may be denoted as continuous search queries. The improvement of continuous sea...
183
click to vote
VLSID
2007
IEEE
16 years 7 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. Traditionally, the different components (or validation collaterals) used i...