Search results for "Prism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Anshuman Razdan, Jeremy Rowe, Matthew Tocheri, Wilson Sweitzer	Adding Semantics to 3D Digital Libraries.	ICADL	2002	DBLP DOI BibTeX RDF
12	Gethin Norman, Vitaly Shmatikov	Analysis of Probabilistic Contract Signing.	FASec	2002	DBLP DOI BibTeX RDF
12	David N. Jansen, Holger Hermanns, Joost-Pieter Katoen	A Probabilistic Extension of UML Statecharts.	FTRTFT	2002	DBLP DOI BibTeX RDF	model checking, semantics, probabilities, Markov decision processes, UML statecharts
12	Marta Z. Kwiatkowska, Gethin Norman	Verifying Randomized Byzantine Agreement.	FORTE	2002	DBLP DOI BibTeX RDF	Induction and compositional model checking, probabilistic model checking, randomized distributed algorithms
12	Soji Yamakawa, Kenji Shimada	Hex-Dominant Mesh Generation with Directionality Control via Packing Rectangular Solid Cells.	GMP	2002	DBLP DOI BibTeX RDF
12	Charles D. Cranor, Matthew Green 0001, Charles R. Kalmanek, David H. Shur, Sandeep Sibal, Jacobus E. van der Merwe, Cormac J. Sreenan	Enhanced Streaming Services in a Content Distribution Network.	IEEE Internet Comput.	2001	DBLP DOI BibTeX RDF
12	Thierry Delot, Pascal Dechamboux, Béatrice Finance, Yann Lepetit, Gilles LeBrun	LDAP, Databases and Distributed Objects: Towards a Better Integration.	Databases in Telecommunications	2001	DBLP DOI BibTeX RDF
12	D. Darian Muresan, Thomas W. Parks	Optimal recovery approach to image interpolation.	ICIP (3)	2001	DBLP DOI BibTeX RDF
12	Joost-Pieter Katoen, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001	Faster and Symbolic CTMC Model Checking.	PAPM-PROBMIV	2001	DBLP DOI BibTeX RDF
12	David B. Leake, Ryan Scherle	Towards context-based search engine selection.	IUI	2001	DBLP DOI BibTeX RDF	intelligent web search, just-in-time information access, distributed information systems
12	Kunihiko Takano, Norihiro Minami, Koki Sato	A Simple Method of Color electro-holographic display system Using a white light source and three LCD Panels.	ICME	2001	DBLP DOI BibTeX RDF
12	Yoshitaka Kameya, Taisuke Sato	Efficient EM Learning with Tabulation for Parameterized Logic Programs.	Computational Logic	2000	DBLP DOI BibTeX RDF
12	Subbiah Baskaran, Narayanan Ramachandran, David Noever	Probabilistic and Other Neural Nets in Multi-Hole Probe Calibration and Flow Angularity Pattern Recognition.	Pattern Anal. Appl.	1999	DBLP DOI BibTeX RDF	Calibration wind tunnel, Multi-hole probes, Probabilistic neural nets, Numerical simulation, Fluid dynamics
12	Yoshitaka Kameya, Nobuhisa Ueda, Taisuke Sato	A Graphical Method for Parameter Learning of Symbolic-Statistical Models.	Discovery Science	1999	DBLP DOI BibTeX RDF
12	Akira Abeta, Kaoru Satoh, Ken'ichi Kakizaki	Organizing and Visualizing Related Work Events on Personal Information Management Systems.	IV	1999	DBLP DOI BibTeX RDF	Personal information management system (PIM), Collaborative Visualization Human interface, Human computer interaction, Information visualization, Workflow, Knowledge Visualization
12	Anna Anzalone, G. Gugliotta, Alberto Machì, G. Sardisco	Automatic Quality Control of Industrial Products for Irrigation.	ICIAP	1999	DBLP DOI BibTeX RDF
12	Mihaly Agfalvi, Istvan Kadar, Erik Papp	Generalization of Pick's theorem for surface of polyhedra.	APL	1999	DBLP DOI BibTeX RDF	APL
12	Jerome Fessy, Yann Lepetit, Philippe Pucheral	Object Query Services for Telecommunication Networks.	EDBT	1996	DBLP DOI BibTeX RDF
12	Juyang Weng, Paul R. Cohen, Marc Herniou	Camera Calibration with Distortion Models and Accuracy Evaluation.	IEEE Trans. Pattern Anal. Mach. Intell.	1992	DBLP DOI BibTeX RDF	distortion models, mean-square discrepancy, observed image points, inferred image projections, computer vision, computer vision, optimisation, calibration, accuracy, camera calibration, cameras, nonlinear optimization, optical information processing, objective function, closed-form solution, CCD image sensors, CCD camera
12	Mark R. Simpson	PRIDE: an integrated design environment for semiconductor device simulation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1991	DBLP DOI BibTeX RDF
12	Hans Spada, Michael Stumpf, Klaus Opwis	The Constructive Process of Knowledge Acquisition: Student Modeling (Invited Paper).	ICCAL	1989	DBLP DOI BibTeX RDF