Sciweavers

1396 search results - page 116 / 280
» aim 2006
Sort
View
BDA
2006
15 years 2 months ago
Capturing well typed references in DTDs
Surprisingly enough, there has been few investigations for typing references of semistructured data and XML documents. This paper build on a previous proposal [7] introducing simp...
Nicole Bidoit, Dario Colazzo
88
Voted
BIS
2006
105views Business» more  BIS 2006»
15 years 2 months ago
Describing Business Processes with Use Cases
Business processes can be described with diagrams, e.g. BPMN diagrams, or as text. Use cases are a text-based notation. They are semiformal: a business process is expressed as a s...
Jerzy R. Nawrocki, Tomasz Nedza, Miroslaw Ochodek,...
CATS
2006
15 years 2 months ago
The Busy Beaver, the Placid Platypus and other Crazy Creatures
The busy beaver is an example of a function which is not computable. It is based on a particular class of Turing machines, and is defined as the largest number of 1's that ca...
James Harland
89
Voted
CDES
2006
107views Hardware» more  CDES 2006»
15 years 2 months ago
An Algorithm for Yield Improvement via Local Positioning and Resizing
The ability to improve the yield of integrated circuits through layout modification has been recognized and several techniques for yield enhanced routing and compaction have been ...
Vazgen Karapetyan
CLA
2006
15 years 2 months ago
Towards Concise Representation for Taxonomies of Epistemic Communities
We present an application of formal concept analysis aimed at creating and representing a meaningful structure of knowledge communities under the form of a lattice-based taxonomy ...
Camille Roth, Sergei A. Obiedkov, Derrick G. Kouri...