ADVANCED SEARCH
Advanced Search
FEEDBACK
 Please provide us with feedback
Found 1,394,228 of 1,394,228
|
|
Results 1 - 20 of 1,394,228
|
|
|
Result page:
1
2
3
4
5
6
7
8
9
10
next
>>
|
|
|
1
|
|
Abstraction techniques for verification of multiple tightly coupled counters, registers and comparators
|
|
November 2000
|
|
HLDVT '00: Proceedings of the IEEE International High-Level Validation and Test Workshop (HLDVT'00)
|
|
Publisher: IEEE Computer Society
|
|
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
 |
|
We present new non-deterministic finite state machine (NFSM) abstraction techniques for comparators based on the comparison difference of the two operands (e.g., counters) instead of the comparison order. One of the major advantages of the comparison ...
Keywords: behavioral VHDL models, comparators, comparison difference abstractions, finite state machine, finite state machines, formal verification, hardware description languages, logic testing, semantic matching, semantic model abstraction
|
|
2
|
|
A programmable multi-language generator for CoDesign
|
|
February 1998
|
|
DATE '98: Proceedings of the conference on Design, automation and test in Europe
|
|
Publisher: IEEE Computer Society
|
|
|
|
| Bibliometrics: Downloads (6 Weeks): 0, Downloads (12 Months): 3, Downloads (Overall): 66, Citation Count: 0 |
|
|
This paper presents an innovative technique to efficiently develop hardware and software code generators. The specification model is first converted into its equivalent data structure. Target programs result from a set of transformation rules applied ...
Keywords: CoDesign, meta-generator, code generator
|
|
3
|
|
Bluetooth Communication Employing Antenna Diversity
|
|
June 2003
|
|
ISCC '03: Proceedings of the Eighth IEEE International Symposium on Computers and Communications
|
|
Publisher: IEEE Computer Society
|
|
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
|
|
In order to cope with the environmental impacts onBluetooth data transmission diversity techniques wereexamined. A Bluetooth antenna diversity demonstratorwas developed. Extensive experimental investigationsdocumenting the significant improvements of ...
|
|
4
|
|
VisPad: Integrating Visualization, Navigation and Synthesis
|
|
October 2007
|
|
VAST '07: Proceedings of the 2007 IEEE Symposium on Visual Analytics Science and Technology - Volume 00
, Volume 00
|
|
Publisher: IEEE Computer Society
|
|
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
|
|
We present a new framework - VisPad - to support the user to revisit the visual exploration process, and to synthesize and disseminate information. It offers three integrated views. The data view allows the user to interactively explore the data. The ...
|
|
5
|
|
An Agent-Based Testing Approach for Web Applications
|
|
July 2005
|
|
COMPSAC '05: Proceedings of the 29th Annual International Computer Software and Applications Conference - Volume 02
, Volume 02
|
|
Publisher: IEEE Computer Society
|
|
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 3 |
|
|
In recent years, Web applications have grown so quickly that they have already become crucial to the success of businesses. However, since they are built on Internet and open standard technologies, Web applications bring new challenges to researchers, ...
|
Also published in: |
| July 2005 |
COMPSAC '05: Proceedings of the 29th Annual International Computer Software and Applications Conference - Volume 02 |
Volume 02 |
|
|
6
|
|
The step-2 nilpotent (n,n(n+1)/2) sub-Riemannian geometry
|
|
April 2006
|
|
Journal of Dynamical and Control Systems
, Volume 12 Issue 2
|
|
Publisher: Kluwer Academic Publishers
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
|
|
We study the sub-Riemannian structure determined by a left-invariant distribution of rank n on a step-2 simply-connected nilpotent Lie group G of dimension n(n+1)/2. We describe a transitive group action that leaves invariant ...
Keywords: exponential mapping, extremal curves, nilpotent Lie algebras, sub-Riemannian geodesics
|
|
7
|
|
RDF4S Based Semantic Web Service Matchmaking Framework
|
|
July 2008
|
|
WSCS '08: Proceedings of the IEEE International Workshop on Semantic Computing and Systems - Volume 00
, Volume 00
|
|
Publisher: IEEE Computer Society
|
|
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
|
|
Semantic Web service matchmaking is the process of searching the space of possible matches between demands and supplies, and finds the best available ones. To achieve this, the semantic Web service matchmaking framework is one of the absolutely necessary ...
Keywords: Semantic Web Service, Description Logics, RDF4S Model, Matchmaking
|
|
8
|
|
9
|
|
Mobile Shared Workspaces to Support Construction Inspection Activities
|
|
June 2008
|
|
Proceeding of the 2008 conference on Collaborative Decision Making: Perspectives and Challenges
|
|
Publisher: IOS Press
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
|
|
Typically, mobile shared workspaces are not used in the construction industry. However, they could play an important role to increase communication among workers, organize work more efficiently, reduce the coordination cost, and keep an updated overview ...
Keywords: Construction Industry, Loosely-Coupled Work, Mobile Collaboration, Mobile Shared Wokrkspaces, Support Of Directional Communication
|
|
10
|
|
SVM in oracle database 10g: removing the barriers to widespread adoption of support vector machines
|
|
August 2005
|
|
VLDB '05: Proceedings of the 31st international conference on Very large data bases
|
|
Publisher: VLDB Endowment
|
|
Full text available: |
 Pdf
(190.75 KB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 20, Downloads (12 Months): 94, Downloads (Overall): 664, Citation Count: 0 |
|
|
Contemporary commercial databases are placing an increased emphasis on analytic capabilities. Data mining technology has become crucial in enabling the analysis of large volumes of data. Modern data mining techniques have been shown to have high accuracy ...
|
|
11
|
|
12
|
|
DB&IR integration: report on the dagstuhl seminar
|
|
November 2008
|
|
SIGIR Forum
, Volume 42 Issue 2
|
|
Publisher: ACM
|
|
Full text available: |
Pdf
(334.65 KB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 2, Downloads (12 Months): 37, Downloads (Overall): 37, Citation Count: 0 |
|
|
This paper is based on a five-day workshop on "Ranked XML Querying" that took place in Schloss Dagstuhl in Germany in March 2008 and was attended by 27 people from three different research communities: database systems (DB), information retrieval (IR), ...
|
|
13
|
|
Letters
|
|
October 2004
|
|
Linux Journal
, Volume 2004 Issue 126
|
|
Publisher: Specialized Systems Consultants, Inc.
|
|
Full text available: |
 Html
(19.50 KB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 0, Downloads (12 Months): 2, Downloads (Overall): 96, Citation Count: 0 |
|
|
|
|
|
14
|
|
Heuristics for the 0–1 min-knapsack problem
|
|
September 1991
|
|
Acta Cybernetica
, Volume 10 Issue 1-2
|
|
Publisher: Acta Cybernetica
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 3 |
|
|
|
|
|
15
|
|
A multi-format variable data template wrapper extending podis PPML-T standard
|
|
August 2007
|
|
DocEng '07: Proceedings of the 2007 ACM symposium on Document engineering
|
Publisher: ACM
 Request Permissions
|
|
Full text available: |
Pdf
(255.76 KB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 8, Downloads (12 Months): 28, Downloads (Overall): 103, Citation Count: 0 |
|
|
Variable Data Print (VDP) has fueled the need for increasingly sophisticated tools and capabilities with every solution vendor providing different approaches and techniques. Nevertheless, it is possible to provide a unified wrapperaround these different ...
Keywords: PPML, PPMLT, SOAP, SVG, XML, XSL-FO, XSLT, document exchange, template, variable data print
|
|
16
|
|
The tomorrow makers
|
|
June 1986
|
|
The tomorrow makers
|
|
Publisher: Macmillan Publishing Co., Inc.
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
|
|
|
|
|
17
|
|
Preface
|
|
January 2004
|
|
Grid resource management
|
|
Publisher: Kluwer Academic Publishers
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
|
|
|
|
|
18
|
|
Multivariate Bernstein and Markov inequalities
|
|
September 1992
|
|
Journal of Approximation Theory
, Volume 70 Issue 3
|
|
Publisher: Academic Press, Inc.
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 2 |
|
|
|
|
|
19
|
|
Natural language processing in information retrieval
|
|
July 1986
|
|
Journal of the American Society for Information Science
, Volume 37 Issue 4
|
|
Publisher: John Wiley & Sons, Inc.
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 1 |
|
|
|
|
|
20
|
|
On the Arithmetic-Geometric Mean Inequality and Its Relationship to Linear Programming, Matrix Scaling, and Gordan''s Theorem
|
|
July 1998
|
|
On the Arithmetic-Geometric Mean Inequality and Its Relationship to Linear Programming, Matrix Scaling, and Gordan''s Theorem
|
|
Publisher: Certer for Discrete Mathematics & Theoretical Computer Science
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
|
|
It is a classical inequality that the minimum of the ratio of the (weighted) arithmetic mean to the geometric mean of a set of positive variables is equal to one, and is attained at the center of the positivity cone. While there are numerous proofs of ...
|
|
|
Result page:
1
2
3
4
5
6
7
8
9
10
next
>>
|
|
|
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
Refine by Keywords
Save results to a Binder
Publisher Site