|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 11677 occurrences of 5305 keywords
|
|
|
Results
Found 19350 publication records. Showing 19350 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
96 | Kai R. T. Larsen |
Antecedents of Implementation Success: A Comprehensive Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 34th Annual Hawaii International Conference on System Sciences (HICSS-34), January 3-6, 2001, Maui, Hawaii, USA, 2001, IEEE Computer Society, 0-7695-0981-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
individual variables, task variables, structure variables, technology variables, interorganizational variables, environmental variables, information systems, Implementation, adoption, diffusion, quantitative, process variables |
53 | Ruben Duarte Viegas, Marco Correia, Pedro Barahona, Francisco Azevedo |
Using Indexed Finite Set Variables for Set Bounds Propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBERAMIA ![In: Advances in Artificial Intelligence - IBERAMIA 2008, 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008. Proceedings, pp. 73-82, 2008, Springer, 978-3-540-88308-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
finite set constraint variables, graph constraint variables, delta domain variables, indexation, constraint propagation |
53 | Kristian G. Olesen |
Causal Probabilistic Networks with Both Discrete and Continuous Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 15(3), pp. 275-279, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
discrete variables, causal probabilistic networks, expert system shell, handling uncertainty by general influence networks, HUGIN, continuous variables, linear additive normally distributed variables, expert systems, knowledge acquisition, knowledge acquisition, inference mechanisms, belief revision, probabilistic reasoning, uncertainty handling |
52 | Helen Xie, Philip Henderson, Joseph Neelamkavil, Jingxin Li |
A Systematic Search Strategy for Product Configuration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Innovations in Applied Artificial Intelligence, 17th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2004, Ottawa, Canada, May 17-20, 2004. Proceedings, pp. 718-727, 2004, Springer, 3-540-22007-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
numeric variables, n-ary constraints, dependent variables, backjumping, Constraint satisfaction, variable ordering, product configuration |
49 | Stephen R. Schach, Tokunbo O. S. Adeshiyan, Daniel Balasubramanian, Gabor Madl, Esteban Osses, Sameer Singh 0001, Karlkim Suwanmongkol, Minhui Xie, Dror G. Feitelson |
Common coupling and pointer variables, with application to a Linux case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 15(1), pp. 99-113, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Pointer variables, Definition-use analysis, Linux, Aliasing, Global variables, Common coupling |
49 | Wim H. Hesselink |
Eternity variables to prove simulation of specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 6(1), pp. 175-201, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
History variables, preservation of quiescence, prophecy variables, simulation, implementation, invariant, refinement mapping |
46 | Hans-Michael Möller |
Hermite interpolation in several variables using ideal-theoretic methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Theory of Functions of Several Variables ![In: Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach, Germany, April 25 - May 1, 1976, pp. 155-163, 1976, Springer, 978-3-540-08069-5. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
46 | M. Reimer |
Clenshaw sums in several variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Theory of Functions of Several Variables ![In: Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach, Germany, April 25 - May 1, 1976, pp. 176-185, 1976, Springer, 978-3-540-08069-5. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
46 | Walter Schempp |
Bernstein polynomials in several variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Theory of Functions of Several Variables ![In: Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach, Germany, April 25 - May 1, 1976, pp. 212-219, 1976, Springer, 978-3-540-08069-5. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
46 | Patrick M. Lenders |
Distributed Computing with Single Read-Single Write Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(5), pp. 569-574, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
single read-single write variables, free, wait state, SRSW variables, regular sequential language, SRSW data type, parallel programs, distributed computing, distributed processing, message passing, operational semantics, asynchronous communication, syntax, busy, synchronous communication |
43 | Laurent D. Cohen |
Auxiliary Variables for Deformable Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: Procedings of the Fifth International Conference on Computer Vision (ICCV 95), Massachusetts Institute of Technology, Cambridge, Massachusetts, USA, June 20-23, 1995, pp. 975-980, 1995, IEEE Computer Society, 0-8186-7042-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
mathematical formulation, surface reconstruction algorithms, two step iterative algorithms, potential data attraction, variables energy, implicit data constraint, non convex potential, explicit convex reconstruction problem, closest feature point, feature extraction, iterative methods, image restoration, image restoration, deformable models, templates, minimisation, auxiliary variables |
38 | Walter Schempp, Karl Zeller (eds.) |
Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach, Germany, April 25 - May 1, 1976 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Theory of Functions of Several Variables ![Springer, 978-3-540-08069-5 The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
38 | Hans Joachim Schmid |
Interpolation of harmonic functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Theory of Functions of Several Variables ![In: Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach, Germany, April 25 - May 1, 1976, pp. 226-249, 1976, Springer, 978-3-540-08069-5. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
38 | B. O. Björnestål |
Stability of Steiner points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Theory of Functions of Several Variables ![In: Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach, Germany, April 25 - May 1, 1976, pp. 6-13, 1976, Springer, 978-3-540-08069-5. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
38 | H. Johnen, K. Scherer |
On the equivalence of the K-functional and moduli of continuity and some applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Theory of Functions of Several Variables ![In: Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach, Germany, April 25 - May 1, 1976, pp. 119-140, 1976, Springer, 978-3-540-08069-5. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
38 | D. D. Stancu |
Use of Biermann's interpolation formula for constructing a class of positive linear operators for approximating multivariate functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Theory of Functions of Several Variables ![In: Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach, Germany, April 25 - May 1, 1976, pp. 267-276, 1976, Springer, 978-3-540-08069-5. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
38 | Walter Trebels |
Estimates for moduli of continuity of functions given by their Fourier transform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Theory of Functions of Several Variables ![In: Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach, Germany, April 25 - May 1, 1976, pp. 277-288, 1976, Springer, 978-3-540-08069-5. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
38 | Harold S. Shapiro |
Convergence almost everywhere of convolution integrals with a dilation parameter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Theory of Functions of Several Variables ![In: Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach, Germany, April 25 - May 1, 1976, pp. 250-266, 1976, Springer, 978-3-540-08069-5. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
38 | Arthur Sard |
Function spaces for analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Theory of Functions of Several Variables ![In: Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach, Germany, April 25 - May 1, 1976, pp. 186-195, 1976, Springer, 978-3-540-08069-5. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
38 | Bernd Dreseler |
On summation processes of Fourier expansions for spherical functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Theory of Functions of Several Variables ![In: Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach, Germany, April 25 - May 1, 1976, pp. 65-84, 1976, Springer, 978-3-540-08069-5. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
38 | J. Albrecht, H. Engels |
Zur numerischen Integration über Kreisbereichen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Theory of Functions of Several Variables ![In: Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach, Germany, April 25 - May 1, 1976, pp. 1-5, 1976, Springer, 978-3-540-08069-5. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
38 | Tom Koornwinder |
Harmonics and spherical functions on Grassmann manifolds of rank two and two-variable analogues of Jacobi polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Theory of Functions of Several Variables ![In: Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach, Germany, April 25 - May 1, 1976, pp. 141-154, 1976, Springer, 978-3-540-08069-5. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
38 | Walter Schempp |
Approximation in G-homogeneous Banach spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Theory of Functions of Several Variables ![In: Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach, Germany, April 25 - May 1, 1976, pp. 220-225, 1976, Springer, 978-3-540-08069-5. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
38 | Franz-Jürgen Delvos, Horst Posdorf |
N-th order blending. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Theory of Functions of Several Variables ![In: Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach, Germany, April 25 - May 1, 1976, pp. 53-64, 1976, Springer, 978-3-540-08069-5. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
38 | Werner Haußmann, Peter Pottinger |
On multivariate approximation by continuous linear operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Theory of Functions of Several Variables ![In: Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach, Germany, April 25 - May 1, 1976, pp. 101-108, 1976, Springer, 978-3-540-08069-5. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
38 | K. Jetter, F. Locher |
A note on numerical Fourier analysis and uniform approximation on cubes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Theory of Functions of Several Variables ![In: Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach, Germany, April 25 - May 1, 1976, pp. 109-118, 1976, Springer, 978-3-540-08069-5. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
38 | Wilhelm Niethammer |
On the numerical analytic continuation of power series. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Theory of Functions of Several Variables ![In: Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach, Germany, April 25 - May 1, 1976, pp. 164-175, 1976, Springer, 978-3-540-08069-5. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
38 | K. Böhmer, Gh. Coman |
Blending interpolation schemes on triangles with error bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Theory of Functions of Several Variables ![In: Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach, Germany, April 25 - May 1, 1976, pp. 14-37, 1976, Springer, 978-3-540-08069-5. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
38 | Jan Boman |
Comparison theorems for generalized moduli of continuity. Vector-valued measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Theory of Functions of Several Variables ![In: Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach, Germany, April 25 - May 1, 1976, pp. 38-52, 1976, Springer, 978-3-540-08069-5. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
38 | W. Schäfer, Walter Schempp |
Error bounds for bivariate spline interpolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Theory of Functions of Several Variables ![In: Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach, Germany, April 25 - May 1, 1976, pp. 196-211, 1976, Springer, 978-3-540-08069-5. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
38 | Jean Duchon |
Splines minimizing rotation-invariant semi-norms in Sobolev spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Theory of Functions of Several Variables ![In: Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach, Germany, April 25 - May 1, 1976, pp. 85-100, 1976, Springer, 978-3-540-08069-5. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
36 | Ricky E. Sward, A. T. Chamillard |
Re-engineering global variables in Ada. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2004 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2004, Atlanta, GA, USA, November 14-14, 2004, pp. 29-34, 2004, ACM, 1-58113-906-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
ASIS, SPARK, global variables |
36 | Geoffrey Smith 0001, Dennis M. Volpano |
Polymorphic typing of Variables and References. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 18(3), pp. 254-267, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
variables, assignment, references |
34 | Jose L. Pastor Urban, Richard J. Whiddett |
The relationship between systems development methodologies and organisational demographics: a survey of New Zealand organisations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCNZ ![In: Proceedings of the 1996 Information Systems Conference of New Zealand, ISCNZ '96, October 30-31, 1996, pp. 179, 1996, IEEE Computer Society, 0-8186-7710-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
organisational demographics, New Zealand organisations, systems development methodology selection, organisational variables, New Zealand economy, demographic variables, information systems, systems developers, systems development methodologies |
34 | Chii-Ren Tsai, Virgil D. Gligor, C. Sekar Chandersekaran |
On the Identification of Covert Storage Channels in Secure Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(6), pp. 569-580, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
covert storage channels, Secure Xenix kernel, visible/alterable kernel variables, language code, sharing relationships, nondiscretionary access rules, false flow violations, kernel locations, audit code, time-delay variables, covert-channel handling, software engineering, identification, security of data, source code, operating systems (computers), secure systems, information-flow analysis, implementation languages |
34 | Bogdan Korel |
Automated Software Test Data Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(8), pp. 870-879, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
automated software test data generation, function-minimization methods, input variables, program execution flow, function-minimization search algorithms, input variables, array indexes, data structures, program testing, search problems, automatic programming, minimisation, backtracking, pointers, dynamic data structures, program behavior, dynamic data-flow analysis |
34 | Oleg V. Favorov, Dan Ryder |
SINBAD: A neocortical mechanism for discovering environmental variables and regularities hidden in sensory input. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biol. Cybern. ![In: Biol. Cybern. 90(3), pp. 191-202, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Mitsu Yoshimura, Kozaburo Hachimura, Yuuka Marumo |
Comparison of Structural Variables with Spatio-temporal Variables Concerning the Identifiability of Okuri Class and Player in Japanese Traditional Dancing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR (3) ![In: 18th International Conference on Pattern Recognition (ICPR 2006), 20-24 August 2006, Hong Kong, China, pp. 308-311, 2006, IEEE Computer Society, 0-7695-2521-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Lisa Higham, Jalal Kawash |
Tight Bounds for Critical Sections in Processor Consistent Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 17(10), pp. 1072-1083, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
processor consistency, multiwriter/single-writer variables, mutual exclusion, Memory consistency models |
33 | Foto N. Afrati, Stavros S. Cosmadakis, Eugénie Foustoucos |
Datalog programs and their persistency numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 6(3), pp. 481-518, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
bounded-tree width hypergraphs, persistency numbers, persistent variables, program transformations, Datalog, finite automata, Boundedness |
33 | Grégoire Dooms, Yves Deville, Pierre Dupont |
A Mozart Implementation of CP(BioNet). ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOZ ![In: Multiparadigm Programming in Mozart/Oz, Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers, pp. 237-250, 2004, Springer, 3-540-25079-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Mozart, Graph Domain Variables, Constrained Path Finding, Path Constraint, Constraint Programming, Oz |
33 | Liang Han, Wei Liu 0014, James Tuck 0001 |
Speculative parallelization of partial reduction variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: Proceedings of the CGO 2010, The 8th International Symposium on Code Generation and Optimization, Toronto, Ontario, Canada, April 24-28, 2010, pp. 141-150, 2010, ACM, 978-1-60558-635-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
reduction variables, parallelization, thread-level speculation, multi-core architecture |
33 | Nouf M. Al-Barakati, Arwa Y. Al-Aama |
The effect of visualizing roles of variables on student performance in an introductory programming course. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 14th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2009, Paris, France, July 6-9, 2009, pp. 228-232, 2009, ACM, 978-1-60558-381-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
visualization, introductory programming course, roles of variables |
33 | Uwe Reuter |
Application of Non-convex Fuzzy Variables to Fuzzy Structural Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMPS ![In: Soft Methods for Handling Variability and Imprecision, Selected papers from the 4th International Conference on Soft Methods in Probability and Statistics, SMPS 2008, Toulouse, France, September 8-10, 2008, pp. 369-375, 2008, Springer, 978-3-540-85026-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Non-convex fuzzy variables, Fuzzy structural analysis, Discretization, Imprecise data |
33 | Yuanquan Li, Jiayin Qi, Huaying Shu |
A Review on the Relationship Between New Variables and Classical TAM Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONFENIS (1) ![In: Research and Practical Issues of Enterprise Information Systems II, Volume 1, IFIP TC 8 WG 8.9 International Conference on Research and Practical Issues of Enterprise Information Systems (CONFENIS 2007), October 14-16, 2007, Beijing, China, pp. 53-63, 2007, Springer, 978-0-387-75901-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
TAM classical structure, New variables, Variable relations, TAM |
33 | Sébastien Carlier, J. B. Wells |
Type inference with expansion variables and intersection types in system E and an exact correspondence with beta-reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy, pp. 132-143, 2004, ACM, 1-58113-819-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
expansion variables, type inference, lambda-calculus, intersection types |
33 | Thomas Kleymann |
Hoare Logic and Auxiliary Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 11(5), pp. 541-566, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Adaptation Completeness, Most General Formula, Hoare Logic, VDM, Auxiliary variables |
32 | Pao-Ann Hsiung, Farn Wang, Ruey-Cheng Chen |
On the verification of Wireless Transaction Protocol using SGM and RED. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea, pp. 379-383, 2000, IEEE Computer Society, 0-7695-0930-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Wireless Transaction Protocol verification, SGM, process concurrency, clock variables, discrete variables, intelligent permutation, explosion factors, scalable verification, State-Graph Manipulators, world standard, large clock constants, large discrete constants, Region Encoding Diagram, state-space size explosions, WTP verification, real time systems, protocols, data structures, data structures, formal verification, formal verification, mobile communication, Wireless Application Protocol, state spaces, RED, state-space methods, reduction techniques |
32 | Nancy A. Lynch, Frits W. Vaandrager |
Forward and Backward Simulations for Timing-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings, pp. 397-446, 1991, Springer, 3-540-55564-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
timing-based systems, backward simulations, forward-backward simulations, backward-forward simulations, history variables, prophecy variables, history relations, prophecy relations, Simulations, real-time, timed automata, refinement mappings, forward simulations |
32 | William I. Grosky, Louis A. Tamburino |
A Unified Approach to the Linear Camera Calibration Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 12(7), pp. 663-671, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
3D world coordinate systems, coplanar calibration, linear camera calibration, linear affine transformation, extrinsic variables, intrinsic variables, orthogonal rotation matrix, noncoplanar calibration, computer vision, picture processing, calibration, cameras, geometrical distortion, image plane |
31 | Juan Pablo Vielma, George L. Nemhauser |
Modeling Disjunctive Constraints with a Logarithmic Number of Binary Variables and Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCO ![In: Integer Programming and Combinatorial Optimization, 13th International Conference, IPCO 2008, Bertinoro, Italy, May 26-28, 2008, Proceedings, pp. 199-213, 2008, Springer, 978-3-540-68886-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini |
Removing useless variables in cost analysis of Java bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 368-375, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
cost equations systems, complexity, information flow, program slicing, cost analysis, java bytecode |
31 | Fairouz Kamareddine, Karim Nour, Vincent Rahli, J. B. Wells |
A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, pp. 171-185, 2008, Springer, 978-3-540-85761-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Tomoyuki Hiroyasu, Shinpei Chino, Mitsunori Miki |
Flexibility of design variables to pareto-optimal solutions in multi objective optimization problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2007, 25-28 September 2007, Singapore, pp. 4462-4468, 2007, IEEE, 978-1-4244-1339-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Berthold Hoffmann |
Graph Transformation with Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods in Software and Systems Modeling ![In: Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday, pp. 101-115, 2005, Springer, 3-540-24936-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Satoshi Matsumoto, Takayoshi Shoudai |
Learning of Ordered Tree Languages with Height-Bounded Variables Using Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALT ![In: Algorithmic Learning Theory, 15th International Conference, ALT 2004, Padova, Italy, October 2-5, 2004, Proceedings, pp. 425-439, 2004, Springer, 978-3-540-23356-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Aleksandar Lazarevic, Ramdev Kanapady, Chandrika Kamath 0001, Vipin Kumar 0001, Kumar K. Tamma |
Localized Prediction of Continuous Target Variables Using Hierarchical Clustering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDM ![In: Proceedings of the 3rd IEEE International Conference on Data Mining (ICDM 2003), 19-22 December 2003, Melbourne, Florida, USA, pp. 139-146, 2003, IEEE Computer Society, 0-7695-1978-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
31 | Dominique Quadri, Éric Soutif |
Rewriting integer variables into zero-one variables: Some guidelines for the integer quadratic multi-knapsack problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oper. Res. ![In: Oper. Res. 7(2), pp. 299-314, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
integer quadratic knapsack problem, separable objective function, direct expansion, binary expansion, piecewise interpolation |
30 | Mickaël Causse, Christophe Hurter |
The Physiological User's Response as a Clue to Assess Visual Variables Effectiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (10) ![In: Human Centered Design, First International Conference, HCD 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, pp. 167-176, 2009, Springer, 978-3-642-02805-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Bertin’s visual variables, Psychophysiological response, Emotion, Mental load |
30 | Simone Garlandini, Sara Irina Fabrikant |
Evaluating the Effectiveness and Efficiency of Visual Variables for Geographic Information Visualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COSIT ![In: Spatial Information Theory, 9th International Conference, COSIT 2009, Aber Wrac'h, France, September 21-25, 2009, Proceedings, pp. 195-211, 2009, Springer, 978-3-642-03831-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
visual variables, empirical studies, eye movements, Geographic visualization, change blindness |
30 | Christoph F. Eick, Rachana Parmar, Wei Ding 0003, Tomasz F. Stepinski, Jean-Philippe Nicot |
Finding regional co-location patterns for sets of continuous variables in spatial datasets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GIS ![In: 16th ACM SIGSPATIAL International Symposium on Advances in Geographic Information Systems, ACM-GIS 2008, November 5-7, 2008, Irvine, California, USA, Proceedings, pp. 30, 2008, ACM, 978-1-60558-323-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
finding associations between continuous variables, regional co-location mining, regional knowledge discovery, clustering, spatial data mining |
30 | Pauli Byckling, Jorma Sajaniemi |
Roles of variables and programming skills improvement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 37th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2006, Houston, Texas, USA, March 3-5, 2006, pp. 413-417, 2006, ACM, 1-59593-259-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
computer science education, roles of variables |
30 | Pauli Byckling, Petri Gerdt, Jorma Sajaniemi |
Roles of variables in object-oriented programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA, pp. 350-355, 2005, ACM, 1-59593-193-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
object-oriented programming, computer science education, roles of variables |
30 | Chun-Nan Hsu, Hung-Ju Huang, Tzu-Tsung Wong |
Implications of the Dirichlet Assumption for Discretization of Continuous Variables in Naive Bayesian Classifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Learn. ![In: Mach. Learn. 53(3), pp. 235-263, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
naive Bayesian classifiers, perfect aggregation, continuous variables, lazy discretization, discretization, Dirichlet distributions, interval data |
30 | Antonio Salmerón, Serafín Moral |
Importance Sampling in Bayesian Networks Using Antithetic Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001, Proceedings, pp. 168-179, 2001, Springer, 3-540-42464-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
probability propagation, antithetic variables, Bayesian networks, importance sampling |
30 | Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu |
State Space Reduction Based on Live Variables Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 6th International Symposium, SAS '99, Venice, Italy, September 22-24, 1999, Proceedings, pp. 164-178, 1999, Springer, 3-540-66459-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
live variables analysis, model checking, bisimulation, asynchronous communication, state space reduction |
30 | David von Oheimb |
Hoare Logic for Mutual Recursion and Local Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 19th Conference, Chennai, India, December 13-15, 1999, Proceedings, pp. 168-180, 1999, Springer, 3-540-66836-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
axiomaticsemantics, relative completeness, local variables, call-by-value parameters, soundness, Hoare logic, Isabelle/HOL, mutual recursion |
29 | Malek Mouhoub, Amrudee Sukpan |
Solving Conditional and Composite Temporal Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 15-17 November 2004, Boca Raton, FL, USA, pp. 734-741, 2004, IEEE Computer Society, 0-7695-2236-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Femke van Raamsdonk |
Higher-Order Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, Proceedings, pp. 220-239, 1999, Springer, 3-540-66201-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
29 | Joan Feigenbaum, Sampath Kannan, Martin Strauss 0001, Mahesh Viswanathan 0001 |
An Approximate L1-Difference Algorithm for Massive Data Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 40th Annual Symposium on Foundations of Computer Science, FOCS '99, 17-18 October, 1999, New York, NY, USA, pp. 501-511, 1999, IEEE Computer Society, 0-7695-0409-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
L1-Difference, range-summable random variables, 4-wise independent random variables, stream |
29 | John A. Hoxmeier |
Learning from group support system use: potential changes in subsequent meeting behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (4) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 171-180, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
group support system use, subsequent meeting behavior, cross-sectional survey design, manual meetings, quasiexperimental field study, TeamFocus facility, control group, perceptual quantitative data, composite meeting behaviors, moderator variables, control variables, group differences, individual-level recall, attitudinal data, GSS applied behaviors, learning, groupware, human factors, productivity, interviews, group decision support systems, human resource management |
29 | Eduard Diepstraten, Ruurd Kuiper 0001 |
Abadi & Lamport and Stark: towards a Proof Theory for Stuttering, Dense Domains and Refinement Mappings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings, pp. 208-238, 1989, Springer, 3-540-52559-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
ghost variables, history and prophecy variables, Temporal logic, simulation relations, refinement mappings, stuttering |
29 | Malek Mouhoub, Amrudee Sukpan |
A New Temporal CSP Framework Handling Composite Variables and Activity Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2005), 14-16 November 2005, Hong Kong, China, pp. 143-149, 2005, IEEE Computer Society, 0-7695-2488-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Michael T. Todinov |
Reliability governed by the relative locations of random variables following a homogeneous Poisson Process in a finite domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 53(2), pp. 226-237, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Xinyu Wang 0001, Jianling Sun, Xiaohu Yang 0001, Zhijun He 0001, Srinivasa R. Maddineni |
Automatically identifying domain variables based on data dependence graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC (4) ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004, pp. 3389-3394, 2004, IEEE, 0-7803-8566-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Michael Wolfe |
Beyond Induction Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'92 Conference on Programming Language Design and Implementation (PLDI), San Francisco, California, USA, June 17-19, 1992, pp. 162-174, 1992, ACM, 0-89791-475-9. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
29 | Alan J. Demers, James E. Donahue |
Making Variables Abstract: An Equational Theory for Russell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, USA, January 1983, pp. 59-72, 1983, ACM Press, 0-89791-090-7. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
28 | William E. Weihl |
Interprocedural Data Flow Analysis in the Presence of Pointers, Procedure Variables and Label Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages, Las Vegas, Nevada, USA, January 1980, pp. 83-94, 1980, ACM Press, 0-89791-011-7. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
27 | Nomair A. Naeem, Ondrej Lhoták |
Efficient alias set analysis using SSA form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: Proceedings of the 8th International Symposium on Memory Management, ISMM 2009, Dublin, Ireland, June 19-20, 2009, pp. 79-88, 2009, ACM, 978-1-60558-347-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
live variables, shape analysis, dominance, pointer analysis, dataflow analysis, alias analysis, static single assignment form |
27 | Pedro Delicado, Marcelo Smrekar |
Measuring non-linear dependence for two random variables distributed along a curve. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stat. Comput. ![In: Stat. Comput. 19(3), pp. 255-269, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Independence tests, Rényi’s axioms, Similarity measures for pairs of variables, Principal curves, Linearity tests, Dependence measures |
27 | Prakash P. Shenoy, James C. West 0001 |
Inference in Hybrid Bayesian Networks with Deterministic Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings, pp. 46-58, 2009, Springer, 978-3-642-02905-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Hybrid Bayesian networks, deterministic variables, Dirac delta functions, Shenoy-Shafer architecture |
27 | Wen-ying Shi, Ai-bing Ji, Xiao-Dong Dai |
Differential of Fuzzy Functions with Two Variables and Fuzzy Wave Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (1) ![In: Fourth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2007, 24-27 August 2007, Haikou, Hainan, China, Proceedings, Volume 1, pp. 121-124, 2007, IEEE Computer Society, 0-7695-2874-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Partial derivative of fuzzy function with two variables, integral of fuzzy function, Differential of fuzzy function, fuzzy wave equation |
27 | Homa Javahery, Daniel Sinnig, Ahmed Seffah, Peter Forbrig, Thiruvengadam Radhakrishnan |
Pattern-Based UI Design: Adding Rigor with User and Context Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMODIA ![In: Task Models and Diagrams for Users Interface Design, 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers, pp. 97-108, 2006, Springer, 978-3-540-70815-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
pattern-oriented design, user variables, context, design methodology, persona, HCI patterns |
27 | David von Oheimb, Tobias Nipkow |
Hoare Logic for NanoJava: Auxiliary Variables, Side Effects, and Virtual Methods Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings, pp. 89-105, 2002, Springer, 3-540-43928-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Java, Hoare logic, side effects, dynamic binding, Isabelle/HOL, auxiliary variables |
27 | Yuan Xu 0005 |
Polynomial interpolation in several variables, cubature formulae, and ideals[*]Supported by the National Science Foundation under Grant DMS-9802265. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 12(4), pp. 363-376, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
polynomial interpolation in several variables, 65D05, 41A63, orthogonal polynomials, variety, 41A05, 41A10, polynomial ideals, 13P10, cubature formulae |
27 | Chi-Hyon Oh, Hirokazu Komatsu, Katsuhiro Honda, Hidetomo Ichihashi |
Fuzzy Clustering Algorithm Extracting Principal Components Independent of Subsidiary Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN (3) ![In: Proceedings of the IEEE-INNS-ENNS International Joint Conference on Neural Networks, IJCNN 2000, Neural Computing: New Challenges and Perspectives for the New Millennium, Como, Italy, July 24-27, 2000, Volume 3, pp. 377-380, 2000, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Independence of Subsidiary Variables, Principal Component Analysis, Knowledge Discovery, Fuzzy Clustering |
27 | Celso Massaki Hirata, Jeff Kramer |
An implementation of a technique for sharing variables in Time Warp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 28st Annual Simulation Symposium (SS '95), April 25-28, 1995, Santa Barbara, California, USA, pp. 13-21, 1995, IEEE Computer Society, 0-8186-7091-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
full replication strategy, causal effects, tie breaks, aggressive cancellation, lazy cancellation, optimised scheme of rollback, parallel programming, discrete event simulation, distributed memory systems, distributed memory systems, Time Warp, parallel discrete event simulation, time warp simulation, shared variables |
27 | Peter Grønning, Thomas Qvist Nielsen, Hans Henrik Løvengreen |
Refinement and Composition of Transition-based Rely-Guarantee Specification with Auxiliary Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings, pp. 332-348, 1990, Springer, 3-540-53487-3. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Rely-guarantee specification, transition systems, compositional verification, safety properties, shared variables |
26 | Willi Sauerbrei, Norbert Holländer, Anika Buchholz |
Investigation about a screening step in model selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stat. Comput. ![In: Stat. Comput. 18(2), pp. 195-208, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Model selection uncertainty, Variable screening, Simulation, Bootstrap |
26 | Toby Walsh |
Consistency and Propagation with Multiset Constraints: A Formal Viewpoint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings, pp. 724-738, 2003, Springer, 3-540-20202-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Geoffrey Smith 0001 |
A New Type System for Secure Information Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: 14th IEEE Computer Security Foundations Workshop (CSFW-14 2001), 11-13 June 2001, Cape Breton, Nova Scotia, Canada, pp. 115-125, 2001, IEEE Computer Society, 0-7695-1146-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Stephen S. Yau, Calvin K. Tang |
Universal logic circuits and their modular realizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS Spring Joint Computing Conference ![In: American Federation of Information Processing Societies: AFIPS Conference Proceedings: 1968 Spring Joint Computer Conference, Atlantic City, NJ, USA, 30 April - 2 May 1968, pp. 297-305, 1968, Thomson Book Company, Washington D.C., 978-1-4503-7897-0. The full citation details ...](Pics/full.jpeg) |
1968 |
DBLP DOI BibTeX RDF |
|
26 | C. E. Miller, Albert W. Tucker, R. A. Zemlin |
Integer Programming Formulation of Traveling Salesman Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 7(4), pp. 326-329, 1960. The full citation details ...](Pics/full.jpeg) |
1960 |
DBLP DOI BibTeX RDF |
|
26 | Shunqin Li, Qiang Shen 0001, Wansheng Tang, Ruiqing Zhao |
Random fuzzy delayed renewal processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 13(7), pp. 681-690, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Random fuzzy variables, Delayed renewal processes, Random fuzzy delayed renewal processes, Renewal processes, Fuzzy variables |
26 | W. O. David Griffioen, Frits W. Vaandrager |
A theory of normed simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 5(4), pp. 577-610, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
backward simulations, history variables, normed simulations, prophecy variables, Automata, computer-aided verification, refinement mappings, forward simulations |
26 | Ji-Cherng Lin, Tetz C. Huang |
An Efficient Fault-Containing Self-Stabilizing Algorithm for Finding a Maximal Independent Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 14(8), pp. 742-754, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Central demon, single transient fault, restrictions on guard conditions, primary variables, auxiliary secondary variables, stabilization time, contamination number, maximal independent set, fault-containment |
26 | Ravi Kannan, Guangxing Li |
Sampling According to the Multivariate Normal Density. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 37th Annual Symposium on Foundations of Computer Science, FOCS '96, Burlington, Vermont, USA, 14-16 October, 1996, pp. 204-212, 1996, IEEE Computer Society, 0-8186-7594-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
multivariate normal density, n dependent random variables, positive definite matrix, positive orthant, rapidly mixing Markov Chains, log-concave functions, Markov processes, polynomial time, convex set, random variables, geometric property, probability density, isoperimetric inequality |
26 | William J. Raduchel |
Efficient handling of binary data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 13(12), pp. 758-759, 1970. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
binary variables, bit strings, cross-tabulations, dummy variables |
26 | Alan Borning, Hana Sevcikova, Paul Waddell |
A domain-specific language for urban simulation variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DG.O ![In: Proceedings of the 9th Annual International Conference on Digital Government Research, Partnerships for Public Innovation, DG.O 2008, Montreal, Canada, May 18-21, 2008, pp. 207-215, 2008, Digital Government Research Center, 978-1-60558-099-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
Opus, UrbanSim, modeling, domain-specific languages, urban simulation |
26 | Katsuhiro Honda, Ryo Uesugi, Hidetomo Ichihashi, Akira Notsu |
Linear Fuzzy Clustering of Mixed Databases Based on Cluster-wise Optimal Scaling of Categorical Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: FUZZ-IEEE 2007, IEEE International Conference on Fuzzy Systems, Imperial College, London, UK, 23-26 July, 2007, Proceedings, pp. 1-6, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 19350 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|