|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12830 occurrences of 5919 keywords
|
|
|
Results
Found 17404 publication records. Showing 17404 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Michael Norrish |
Recursive Function Definition for Types with Binders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings, pp. 241-256, 2004, Springer, 3-540-23017-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Long Wang 0002, Christoph Meinel |
Behaviour Recovery and Complicated Pattern Definition in Web Usage Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWE ![In: Web Engineering - 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings, pp. 531-543, 2004, Springer, 3-540-22511-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Hugo A. F. Gratama van Andel, Erik Meijering, Aad van der Lugt, Henri A. Vrooman, Rik Stokking |
VAMPIRE: Improved Method for Automated Center Lumen Line Definition in Atherosclerotic Carotid Arteries in CTA Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (1) ![In: Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2004, 7th International Conference Saint-Malo, France, September 26-29, 2004, Proceedings, Part I, pp. 525-532, 2004, Springer, 3-540-22976-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Sergio Miguel Fernandes, João P. Cachopo, António Rito Silva |
Supporting Evolution in Workflow Definition Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM 2004: Theory and Practice of Computer Science, 30th Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 24-30, 2004, pp. 208-217, 2004, Springer, 3-540-20779-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Sadahiro Isoda |
A Critique of UML's Definition of the Use-Case Class. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: «UML» 2003 - The Unified Modeling Language, Modeling Languages and Applications, 6th International Conference, San Francisco, CA, USA, October 20-24, 2003, Proceedings, pp. 280-294, 2003, Springer, 3-540-20243-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Roswitha Bardohl, Claudia Ermel, Ingo Weinhold |
GenGED - A Visual Definition Tool for Visual Modeling Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGTIVE ![In: Applications of Graph Transformations with Industrial Relevance, Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers, pp. 413-419, 2003, Springer, 3-540-22120-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Silke Höppner |
An Agents' Definition Framework and a Methodology for Deriving Agents' Taxonomies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2003: Advances in Artificial Intelligence, 26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15-18, 2003, Proceedings, pp. 618-632, 2003, Springer, 3-540-20059-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Fábio Rilston Silva Paim, Jaelson Castro |
DWARF: AN Approach for Requirements Definition and Management of Data Warehouse Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 11th IEEE International Conference on Requirements Engineering (RE 2003), 8-12 September 2003, Monterey Bay, CA, USA., pp. 75-, 2003, IEEE Computer Society, 0-7695-1980-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Giang P. Nguyen, Marcel Worring |
Query definition using interactive saliency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multimedia Information Retrieval ![In: Proceedings of the 5th ACM SIGMM International Workshop on Multimedia Information Retrieval, MIR 2003, November 7, 2003, Berkeley, CA, USA, pp. 150-156, 2003, ACM, 1-58113-778-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
salient details, image segmentation, image retrieval |
15 | Andreas Prinz 0001, Martin von Löwis |
Generating a Compiler for SDL from the Formal Language Definition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL 2003: System Design, 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003. Proceedings, pp. 150-165, 2003, Springer. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Wei Ge, Baoyan Song, Derong Shen, Ge Yu 0001 |
e_SWDL: An XML Based Workflow Definition Language for Complicated Applications in Web Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb ![In: Web Technologies and Applications, 5th Asian-Pacific Web Conference, APWeb 2003, Xian, China, April 23-25, 2002, Proceedings, pp. 471-482, 2003, Springer, 3-540-02354-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | John C. Munson, Allen P. Nikora |
Toward A Quantifiable Definition of Software Faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 12-15 November 2002, Annapolis, MD, USA, pp. 388-396, 2002, IEEE Computer Society, 0-7695-1763-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | C. S. Buchanan, K. I. M. McKinnon, G. K. Skondras |
The Recursive Definition of Stochastic Linear Programming Problems within an Algebraic Modeling Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 104(1-4), pp. 15-32, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
algebraic modeling languages, stochastic programming |
15 | V. M. Mikhelev |
Data Definition in the Programming Language MARKIZ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program. Comput. Softw. ![In: Program. Comput. Softw. 27(1), pp. 50-56, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Miguel A. Alonso 0001, Éric Villemonte de la Clergerie, Manuel Vilares Ferro |
A Formal Definition of Bottom-Up Embedded Push-Down Automata and Their Tabulation Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LACL ![In: Logical Aspects of Computational Linguistics, 4th International Conference, LACL 2001, Le Croisic, France, June 27-29, 2001, Proceedings, pp. 44-61, 2001, Springer, 3-540-42273-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Berthold F. Koch, Stefano Salsano |
IP QoS at Work: Definition and Implementation of the AQUILA Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWDC ![In: Evolutionary Trends of the Internet, Thyrrhenian International Workshop on Digital Communications, IWDC 2001, Taormina, Italy, September 17-20, 2001, Proceedings, pp. 674-690, 2001, Springer, 3-540-42592-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Frank Marlowe |
High Definition Television Broadcast Technology -A Nist/atp Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Digital and Computational Video ![In: 2nd International Workshop on Digital and Computational Video (DCV 2001), 9 February 2001, Tampa, Florida, USA, pp. 13-20, 2001, IEEE Computer Society, 0-7695-1110-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Rémi Douence, Olivier Motelet, Mario Südholt |
A Formal Definition of Crosscuts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reflection ![In: Metalevel Architectures and Separation of Crosscutting Concerns, Third International Conference, REFLECTION 2001, Kyoto, Japan, September 25-28, 2001, Proceedings, pp. 170-186, 2001, Springer, 3-540-42618-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Raymond T. Boute |
Supertotal Function Definition in Mathematics and Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 26(7), pp. 662-672, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
calculational reasoning, functional mathematics, guarded formulas, conditional expressions, undefinedness, Formal methods, subtyping, software specification, predicate calculus, type correctness |
15 | David H. Akehurst |
An OO Visual Language Definition Approach Supporting Multiple Views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: 2000 IEEE International Symposium on Visual Languages, VL 2000, Seattle, Washington, USA, September 10-13, 2000, Proceedings., pp. 57-58, 2000, IEEE Computer Society, 0-7695-0840-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Athanasios G. Malamos, Elias N. Malamas, Theodora A. Varvarigou, Sudhir R. Ahuja |
On the Definition, Modelling, and Implementation of Quality of Service (QoS) in Distributed Multimedia Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the Fourth IEEE Symposium on Computers and Communications (ISCC 1999), 6-8 July 1999, Sharm El Sheikh, Red Sea, Egypt, pp. 397-403, 1999, IEEE Computer Society, 0-7695-0250-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Shahriar Negahdaripour |
Revised Definition of Optical Flow: Integration of Radiometric and Geometric Cues for Dynamic Scene Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 20(9), pp. 961-979, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
time-varying image analysis, dynamic visual cues, integration of radiometric and geometric cues, optical flow, Motion vision |
15 | Richard C. Linger, Nancy R. Mead, Howard F. Lipson |
Requirements Definition for Survivable Network Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRE ![In: 3rd International Conference on Requirements Engineering (ICRE '98), Putting Requirements Engineering to Practice, April 6-10, 1998, Colorado Springs, CO, USA, Proceedings, pp. 14-23, 1998, IEEE Computer Society, 0-8186-8356-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Ramon Martí, Jaime Delgado |
Definition of Service Levels for Electronic Brokerage Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IS&N ![In: Intelligence in Services and Networks: Technology for Ubiquitous Telecom Services, 5th International Conference on Intelligence and Services in Networks, IS&N'98, Antwerp, Belgium, May 25-28, 1998, Proceedings, pp. 351-362, 1998, Springer, 3-540-64598-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Maurizio Rafanelli, Antonia Bezenchek, Leonardo Tininini |
The Aggregate Data Problem: A System for their Definition and Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Rec. ![In: SIGMOD Rec. 25(4), pp. 8-13, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Charles Lakos |
The Consistent Use of Names and Polymorphism in the Definition of Object Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1996, 17th International Conference, Osaka, Japan, June 24-28, 1996, Proceedings, pp. 380-399, 1996, Springer, 3-540-61363-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Theory of High-Level Petri Nets, Multiple Levels of Abstraction, Object-Orientation |
15 | Stan Knight, Danny Chin, Herb Taylor, Joseph E. Peters |
The sarnoff engine: A massively parallel computer for high definition system simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 8(2), pp. 183-199, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
15 | Giovanni Chiola, Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte |
Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(2), pp. 89-107, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
qualitative behavior, firing probabilities, net-level specification, model specification, performance evaluation, formal specification, Petri nets, stochastic processes, structural analysis, structural properties, generalized stochastic Petri net |
15 | Leonid A. Kalinichenko, Nikolaj S. Nikitchenko, Vladimir Zadorozhny |
Application of Composition Development Method for definition of SYNTHESIS information resource query language semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings, pp. 428-441, 1993, Springer, 3-540-56662-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
15 | Barbara Liskov, Jeannette M. Wing |
A New Definition of the Subtype Relation. (Corrigenda: SIGPLAN Notices 29(4): 4 (1994)) ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'93 - Object-Oriented Programming, 7th European Conference, Kaiserslautern, Germany, July 26-30, 1993, Proceedings, pp. 118-141, 1993, Springer, 3-540-57120-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
15 | Francisco J. Vico, Francisco Sandoval Hernández |
Use of Genetic Algorithms in Neural Networks Definition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN ![In: Artificial Neural Networks, International Workshop, IWANN '91, Granada, Spain, September 17-19, 1991, Proceedings, pp. 196-203, 1991, Springer, 3-540-54537-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
15 | Stefano Crespi-Reghizzi, Guido Galli de Paratesi, Stefano Genolini |
Definition of Reusable Concurrent Software Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'91 European Conference on Object-Oriented Programming, Geneva, Switzerland, July 15-19, 1991, Proceedings, pp. 148-166, 1991, Springer, 3-540-54262-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
15 | Jack C. Wileden, Lori A. Clarke, Alexander L. Wolf |
A Comparative Evaluation of Object Definition Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 12(4), pp. 670-699, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
15 | Jan Heering, P. R. H. Hendriks, Paul Klint, J. Rekers |
The syntax definition formalism SDF - reference manual. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 24(11), pp. 43-75, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
15 | Paul F. Wilms, Bruce G. Lindsay 0001, Patricia G. Selinger |
"I wish I were over there": Distributed Execution Protocols for Data Definition in R*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: SIGMOD'83, Proceedings of Annual Meeting, San Jose, California, USA, May 23-26, 1983., pp. 238-242, 1983, ACM Press, 978-0-89791-104-7. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
15 | Terrence W. Pratt, George D. Maydwell |
Experience with the Normal Semantic Definition of HAL/S. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGPLAN Symposium on Compiler Construction ![In: Proceedings of the SIGPLAN '82 Symposium on Compiler Construction, Boston, Massachusetts, USA, June 23-25, 1982, pp. 327-333, 1982, ACM, 0-89791-074-5. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
HAL/S |
15 | James W. Winchester, Gerald Estrin |
Requirements definition and its interface to the SARA design methodology for computer-based systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS National Computer Conference ![In: American Federation of Information Processing Societies: 1982 National Computer Conference, 7-10 June, 1982, Houston, Texas, USA, pp. 369-379, 1982, AFIPS Press, 0-88283-035-X. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
15 | Véronique Donzeau-Gouge, Gilles Kahn, Bernard Lang |
On the formal definition of ADA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics-Directed Compiler Generation ![In: Semantics-Directed Compiler Generation, Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980, pp. 475-489, 1980, Springer, 3-540-10250-7. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
semantics, Programming Languages, programming environment |
15 | P. D. Griem Jr. |
On the principle of unique definition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS National Computer Conference ![In: American Federation of Information Processing Societies: 1975 National Computer Conference, 19-22 May 1975, Anaheim, CA, USA, pp. 265-270, 1975, AFIPS Press, 978-1-4503-7919-9. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
15 | Donald I. Good, Ralph L. London |
Computer Interval Arithmetic: Definition and Proof of Correct Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 17(4), pp. 603-612, 1970. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
|
14 | Pythagoras Karampiperis, Demetrios G. Sampson |
Evaluating the Performance of Adaptive Learning Objects Selection and Sequencing in Adaptive Educational Hypermedia Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: The 9th IEEE International Conference on Advanced Learning Technologies, ICALT 2009, Riga, Latvia, July 15-17, 2009, pp. 316-318, 2009, IEEE Computer Society, 978-0-7695-3711-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Yaron Rachlin, Katharina Probst, Rayid Ghani |
Maximizing Privacy under Data Distortion Constraints in Noise Perturbation Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PinKDD ![In: Privacy, Security, and Trust in KDD, Second ACM SIGKDD International Workshop, PinKDD 2008, Las Vegas, NV, USA, August 24, 2008, Revised Selected Papers, pp. 92-110, 2008, Springer, 978-3-642-01717-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Noise perturbation, privacy, anonymity, statistical disclosure control |
14 | Nicolas Oury |
Pattern matching coverage checking with dependent types using set approximations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLPV ![In: Proceedings of the ACM Workshop Programming Languages meets Program Verification, PLPV 2007, Freiburg, Germany, October 5, 2007, pp. 47-56, 2007, ACM, 978-1-59593-677-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
coverage checking, set approximation, pattern matching |
14 | Paul Lin, Alexander MacArthur, John Leaney |
Defining Autonomic Computing: A Software Engineering Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Software Engineering Conference ![In: 16th Australian Software Engineering Conference (ASWEC 2005), 31 March - 1 April 2005, Brisbane, Australia, pp. 88-97, 2005, IEEE Computer Society, 0-7695-2257-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Jonathan Katz, Ji Sun Shin |
Modeling insider attacks on group key-exchange protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 12th ACM Conference on Computer and Communications Security, CCS 2005, Alexandria, VA, USA, November 7-11, 2005, pp. 180-189, 2005, ACM, 1-59593-226-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
universal composability, group key exchange, insider attacks |
14 | Jixue Liu, Millist W. Vincent |
Containment and disjointedness in partitioned normal form relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 38(5), pp. 325-342, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Hassan Aït-Kaci, Yutaka Sasaki |
An Axiomatic Approach to Feature Term Generalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML ![In: Machine Learning: EMCL 2001, 12th European Conference on Machine Learning, Freiburg, Germany, September 5-7, 2001, Proceedings, pp. 1-12, 2001, Springer, 3-540-42536-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Alex Gontmakher, Assaf Schuster |
Java consistency: nonoperational characterizations for Java memory behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 18(4), pp. 333-386, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Java memory models, nonoperational specification, multithreading |
14 | Asuman Dogac, M. Ezbiderli, Yusuf Tambag, C. Icdem, Arif Tumer, Nesime Tatbul, N. Hamali, Catriel Beeri |
The MARIFlow Workflow Management System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 16th International Conference on Data Engineering, San Diego, California, USA, February 28 - March 3, 2000, pp. 193, 2000, IEEE Computer Society, 0-7695-0506-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Internet, Agent, Workflow, Web |
14 | Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil |
Verifying properties of process definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2000, Portland, OR, USA, August 21-24, 2000, pp. 96-101, 2000, ACM, 1-58113-266-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Hyunyoung Lee, Jennifer L. Welch |
Specification, implementation and application of randomized regular registers (brief announcement). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, July 16-19, 2000, Portland, Oregon, USA., pp. 338, 2000, ACM, 1-58113-183-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Thomas Bülow, Gerald Sommer |
A Novel Approach to the 2D Analytic Signal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAIP ![In: Computer Analysis of Images and Patterns, 8th International Conference, CAIP'99, Ljubljana, Slovenia, September 1-3, 1999, Proceedings, pp. 25-32, 1999, Springer, 3-540-66366-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Chris Exton, Damien Watkins, Dean Thompson |
Comparisons between CORBA IDL & COM/DCOM MIDL: Interfaces for Distributed Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (25) ![In: TOOLS 1997: 25th International Conference on Technology of Object-Oriented Languages and Systems, 24-28 November 1997, Melbourne, Australia, pp. 15-32, 1997, IEEE Computer Society, 0-8186-8485-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
14 | Philip W. Hall IV |
Parsing with C++ Constructors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 28(4), pp. 67-68, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
C++ |
14 | Baowen Xu |
CRL/Pascal: A Pascal-oriented Cross Reference Language And Its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 28(4), pp. 49-54, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
Pascal |
14 | Birgit Pfitzmann |
Sorting Out Signature Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: CCS '93, Proceedings of the 1st ACM Conference on Computer and Communications Security, Fairfax, Virginia, USA, November 3-5, 1993., pp. 74-85, 1993, ACM, 0-89791-629-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
14 | Jeffrey F. Naughton |
Minimizing function-free recursive inference rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 36(1), pp. 69-91, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
14 | G. R. Blakley |
Information Theory Without the Finiteness Assumption, I: Cryptosystems as Group-Theoretic Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology, Proceedings of CRYPTO '84, Santa Barbara, California, USA, August 19-22, 1984, Proceedings, pp. 314-338, 1984, Springer, 3-540-15658-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
14 | D. G. McVitie, L. B. Wilson |
The Stable Marriage Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 14(7), pp. 486-490, 1971. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
13 | Robert Pyka, Felipe Klein, Peter Marwedel, Stylianos Mamagkakis |
Versatile system-level memory-aware platform description approach for embedded MPSoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems, LCTES 2010, Stockholm, Sweden, April 13-15, 2010, pp. 9-16, 2010, ACM, 978-1-60558-953-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
framework, component, configuration, channel, definition, energy models, architecture description |
13 | Zainab M. Aljazzaf, Mark Perry 0001, Miriam A. M. Capretz |
Trust in Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERVICES ![In: 6th World Congress on Services, SERVICES 2010, Miami, Florida, USA, July 5-10, 2010, pp. 189-190, 2010, IEEE Computer Society, 978-0-7695-4129-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Trust definition, trust principles, Web Services |
13 | Pavel Pesout, Ondrej Matustik |
On the Way to Smart Emergency System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Seventh International Conference on Information Technology: New Generations, ITNG 2010, Las Vegas, Nevada, USA, 12-14 April 2010, pp. 311-316, 2010, IEEE Computer Society, 978-0-7695-3984-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
built-in sensors, crisis definition, emergency system, pattern recognition, mobile phone |
13 | Linda Dailey Paulson |
Technique Makes Strong Encryption Easier to Use. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 42(4), pp. 24-27, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
chip piracy, Ending Piracy of Integrated Circuits, high-definition displays, dual modulation, local dimming, Livescribe Pulse, public-key cryptography, identity-based encryption, high-dynamic range, LEDs |
13 | Jack Jie Dai |
An Outer-Measure Approach for Resource-Bounded Measure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 45(1), pp. 64-73, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Carathéodory definition, Computational complexity, Martingale, Resource-bounded measure |
13 | Naoka Misawa, Mitsuru Fujita |
A Proposal of XB-Method, an Idea Generation System for New Services Using User Experiences. ![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. 276-283, 2009, Springer, 978-3-642-02805-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Emotion, Experience, Idea generation, Requirement definition |
13 | Yannis Charalabidis, Fenareti Lampathaki, Dimitris Askounis |
Metadata Sets for e-Government Resources: The Extended e-Government Metadata Schema (eGMS+). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EGOV ![In: Electronic Government, 8th International Conference, EGOV 2009, Linz, Austria, August 31 - September 3, 2009. Proceedings, pp. 341-352, 2009, Springer, 978-3-642-03515-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
metadata element set, e-Government resources, e-GMS, semantic interoperability, service definition |
13 | Wei Li 0037, Omneya Issa, Hong Liu 0017, Filippo Speranza, Ron Renaud |
Quality Assessment of Video Content for HD IPTV Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISM ![In: 11th IEEE International Symposium on Multimedia, ISM 2009, San Diego, California, USA, December 14-16, 2009, pp. 517-522, 2009, IEEE Computer Society, 978-0-7695-3890-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
High-Definition Video Quality Assessment, IPTV, Content Analysis, Quality of Experience (QoE) |
13 | Gudmundur Freyr Jonasson, Ebba Thora Hvannberg |
Sharing Usability Problem Sets within and between Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERACT (2) ![In: Human-Computer Interaction - INTERACT 2009, 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part II, pp. 596-599, 2009, Springer, 978-3-642-03657-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
construct definition, Usability, relevance, merging, exchange, problem |
13 | Ondrej Krejcar |
Full Scale Software Support on Mobile Lightweight Devices by Utilization of All Types of Wireless Technologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOBILIGHT ![In: Mobile Lightweight Wireless Systems, First International ICST Conference, MOBILIGHT 2009, Athens, Greece, May 18-20, 2009, Revised Selected Papers, pp. 173-184, 2009, Springer, 978-3-642-03818-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Mobile Lightweight Device, Area Definition, Localization, Response Time, Prebuffering |
13 | Dan Tisher, Ray Alsaber, Kuan-Tsae Huang, D. Frank Hsu |
Simulating an Automated System (SAS) for Merging Medical Vocabularies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: The 10th International Symposium on Pervasive Systems, Algorithms, and Networks, ISPAN 2009, Kaohsiung, Taiwan, December 14-16, 2009, pp. 373-379, 2009, IEEE Computer Society, 978-0-7695-3908-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
automated, merge, thesaurus, definition, lexicon, medical, vocabulary |
13 | Ernst Juhnke, Dominik Seiler, Thilo Stadelmann, Tim Dörnemann, Bernd Freisleben |
LCDL: an extensible framework for wrapping legacy code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iiWAS ![In: iiWAS'2009 - The Eleventh International Conference on Information Integration and Web-based Applications and Services, 14-16 December 2009, Kuala Lumpur, Malaysia, pp. 648-652, 2009, ACM, 978-1-60558-660-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
legacy code wrapping, interface definition languages |
13 | Shiyi Qiao, Xiaohong Chu, Shuwei Wang |
Study on Application Strategies of Blog in Information-based Teaching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCAI ![In: First IITA International Joint Conference on Artificial Intelligence, Hainan Island, China, 25-26 April 2009, pp. 526-528, 2009, IEEE Computer Society, 978-0-7695-3615-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
definition of blog, function of blog, application of blog in instructions |
13 | Jeffrey M. Gilbert, Chinh H. Doan, Sohrab Emami, C. Bernard Shung |
A 4-Gbps Uncompressed Wireless HD A/V Transceiver Chipset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Micro ![In: IEEE Micro 28(2), pp. 56-64, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
uncompressed, HDMI, multimedia, networking, wireless, video, CMOS, high-definition, 60 GHz |
13 | Manfred Thaller, Volker Heydegger, Jan Schnasse, Sebastian Beyl, Elona Chudobkaite |
Significant Characteristics to Abstract Content: Long Term Preservation of Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECDL ![In: Research and Advanced Technology for Digital Libraries, 12th European Conference, ECDL 2008, Aarhus, Denmark, September 14-19, 2008. Proceedings, pp. 41-49, 2008, Springer, 978-3-540-87598-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
File characteristics, format definition languages, data abstraction, long term preservation |
13 | Alina Dia Miron, Jérôme Gensel, Marlène Villanova-Oliver |
Semantic Analysis for the Geospatial Web - Application to OWL-DL Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
W2GIS ![In: Web and Wireless Geographical Information Systems, 8th International Symposium, W2GIS 2008, Shanghai, China, December 11-12, 2008. Proceedings, pp. 37-49, 2008, Springer, 978-3-540-89902-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Geospatial Semantic Web, context definition, ontology, semantic analysis, spatio-temporal reasoning |
13 | Sung Hsueh, Arvind Ranasaria |
Cross feature testing in database systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBTest ![In: Proceedings of the 1st International Workshop on Testing Database Systems, DBTest 2008, Vancouver, BC, Canada, June 13, 2008, pp. 4, 2008, ACM, 978-1-60558-233-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
cross feature, database, definition, test strategy, test design, microsoft SQL server |
13 | Damir Kirasic, Danko Basch |
Ontology-Based Design Pattern Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (1) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part I, pp. 384-393, 2008, Springer, 978-3-540-85562-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
ontology-based system, OWL application, formal pattern definition, knowledge-based system, description logics, static code analysis |
13 | Claudia Raibulet |
Facets of Adaptivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSA ![In: Software Architecture, Second European Conference, ECSA 2008, Paphos, Cyprus, September 29 - October 1, 2008, Proceedings, pp. 342-345, 2008, Springer, 978-3-540-88029-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
definition of adaptivity, facets of adaptivity |
13 | Mariana Avelãs, António Branco, Rosa Del Gaudio, Pedro Martins 0002 |
Supporting e-Learning with Language Technology for Portuguese. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROPOR ![In: Computational Processing of the Portuguese Language, 8th International Conference, PROPOR 2008, Aveiro, Portugal, September 8-10, 2008, Proceedings, pp. 192-201, 2008, Springer, 978-3-540-85979-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Automatic keyword extraction, definition extraction, annotated corpus, ontology, e-Learning, LMS |
13 | Carolyn Strano, Qamar Rehmani |
The role of the enterprise architect. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. E Bus. Manag. ![In: Inf. Syst. E Bus. Manag. 5(4), pp. 379-396, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Enterprise architect, Functional roles, Definition, Competencies |
13 | Ying Zou 0001, Qi Zhang, Xulin Zhao |
Improving the Usability of E-Commerce Applications using Business Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 33(12), pp. 837-855, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Process Definition and Usability, Graphical User Interface, Business Process, User Interface Reengineering |
13 | 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 |
13 | Christian Wolter, Andreas Schaad, Christoph Meinel |
Deriving XACML Policies from Business Process Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISE Workshops ![In: Web Information Systems Engineering - WISE 2007 Workshops, WISE 2007 International Workshops, Nancy, France, December 3, 2007, Proceedings, pp. 142-153, 2007, Springer, 978-3-540-77009-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Policy Definition, Separation of Duties Business Process Modeling, eXtensible Access Control Markup Language, Integration, Enforcement |
13 | Shanghong Xiao |
Scenario-Based Installability Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (1) ![In: Human-Computer Interaction. Interaction Design and Usability, 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I, pp. 283-288, 2007, Springer, 978-3-540-73104-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Typical Users, Scenario definition, Task Analysis, User Test, Installability |
13 | Takumi Kaneko, Yuichiro Nakamura, Michiko Anse, Tsutomu Tabe, Yumiko Taguchi |
A Method for Generating Plans for Retail Store Improvements Using Text Mining and Conjoint Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (9) ![In: Human Interface and the Management of Information. Interacting in Information Environments, Symposium on Human Interface 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II, pp. 910-917, 2007, Springer, 978-3-540-73353-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Customer-satisfaction measurement, Definition Method, Store-improvement plan, Text Mining, Conjoint Analysis |
13 | Jesús Sánchez Cuadrado, Jesús García Molina |
A phasing mechanism for model transformation languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 1020-1024, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
internal transformation composition, phasing mechanism, transformation definition modularity, model transformation, transformation languages |
13 | Christoph Schlieder |
Modeling Collaborative Semantics with a Geographic Recommender. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER Workshops ![In: Advances in Conceptual Modeling - Foundations and Applications, ER 2007 Workshops CMLSA, FP-UML, ONISW, QoIS, RIGiM,SeCoGIS, Auckland, New Zealand, November 5-9, 2007, Proceedings, pp. 338-347, 2007, Springer, 978-3-540-76291-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Subject areas Spatio-temporal ontologies and reasoning, capture of spatial semantics, extraction, Definition, elicitation |
13 | Brian K. Hobson, Donald W. Kroening |
Cross command collaboration effort (3CE). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (3) ![In: Proceedings of the 2007 Spring Simulation Multiconference, SpringSim 2007, Norfolk, Virginia, USA, March 25-29, 2007, Volume 3, pp. 311-316, 2007, SCS/ACM, 1-56555-314-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
common distributed environment, cross command modeling & simulation, standards, tools, business processes, data, requirements definition |
13 | Dana Zhang, Kotagiri Ramamohanarao, Tim Ebringer |
Role engineering using graph optimisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SACMAT ![In: 12th ACM Symposium on Access Control Models and Technologies, SACMAT 2007, Sophia Antipolis, France, June 20-22, 2007, Proceedings, pp. 139-144, 2007, ACM, 978-1-59593-745-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
graph optimisation, role definition, role-based access control, role engineering, role hierarchy |
13 | Claude Y. Laporte, Mikel Doucet, Pierre Bourque, Youssef Belkébir |
Utilization of a Set of Software Engineering Roles for a Multinational Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROFES ![In: Product-Focused Software Process Improvement, 8th International Conference, PROFES 2007, Riga, Latvia, July 2-4, 2007, Proceedings, pp. 35-50, 2007, Springer, 978-3-540-73459-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Roles definition, Software Engineering, standards, Process |
13 | Mariano Rincón, Javier Martínez-Cantos |
An Annotation Tool for Video Understanding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST 2007, 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers, pp. 701-708, 2007, Springer, 978-3-540-75866-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
ontology based model definition, computer vision, semantic description, annotation tools, video understanding |
13 | Charles Koppelman |
Dust to glory: the film. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Entertain. ![In: Comput. Entertain. 4(1), pp. 8, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
AJA, Adobe After Effects, Adobe Premiere Pro, BOXX, CineForm's Prospect HD, High-definition movies, Synthetic Aperture's Color Finesse, digital film, digital workflow, postproduction, visual effects |
13 | Michele Notari |
How to use a Wiki in education: 'Wiki based effective constructive learning'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. Sym. Wikis ![In: Proceedings of the 2006 International Symposium on Wikis, 2006, Odense, Denmark, August 21-23, 2006, pp. 131-132, 2006, ACM, 1-59593-413-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Wiki for learning, classroom moderation, definition of a script, strategies for effective scripts, collaboration, script, learning strategies |
13 | Vasilios A. Siris, George Stamatakis 0001 |
Optimal CWmin selection for achieving proportional fairness in multi-rate 802.11e WLANs: test-bed implementation and evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WINTECH ![In: Proceedings of the First ACM Workshop on Wireless Network Testbeds, Experimental Evaluation and Characterization, WINTECH 2006, Los Angeles, California, USA, September 29, 2006, pp. 41-48, 2006, ACM. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
fairness definition, throughput differentiation, short-term fairness |
13 | Lori Carter |
Why students with an apparent aptitude for computer science don't choose to major in computer science. ![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. 27-31, 2006, ACM, 1-59593-259-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
computer science major, declining computer science enrollment, definition of computer science, gender issues in computer science, high school computer science education |
13 | Virginie Sans, Dominique Laurent 0001 |
Des hyperliens à la navigation par héritage application à la conception d'une web TV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IHM ![In: Proceedings of the 18th International Conference of the Association Francophone d'Interaction Homme-Machine, Montreal, Quebec, Canada, 18-21 April 2006, pp. 233-240, 2006, ACM, 1-59593-350-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
ARM language, over-definition, spatial inheritance, temporal inheritance, hypermedia, hyperlink |
13 | Mingchu Li, Yongrui Cui, Yuan Tian, Dong Wang, Songyuan Yan |
A New Architecture of Grid Security System Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP Workshops ![In: 2006 International Conference on Parallel Processing Workshops (ICPP Workshops 2006), 14-18 August 2006, Columbus, Ohio, USA, pp. 100-108, 2006, IEEE Computer Society, 0-7695-2637-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
security rule definition, grid, framework, security system |
13 | David Steffen Bergman, Belgacem Ben Youssef, Jim Bizzocchi, John Bowes |
Interpolation techniques for the artificial construction of video slow motion in the postproduction process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Computer Entertainment Technology ![In: Proceedings of the International Conference on Advances in Computer Entertainment Technology, ACE 2006, Hollywood, California, USA, June 14-16, 2006, pp. 66, 2006, ACM, 1-59593-380-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
postproduction, slow motion, video, ambient, high definition, video art, frame interpolation |
13 | Jim Bizzocchi |
Ambient video. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Computer Entertainment Technology ![In: Proceedings of the International Conference on Advances in Computer Entertainment Technology, ACE 2006, Hollywood, California, USA, June 14-16, 2006, pp. 45, 2006, ACM, 1-59593-380-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
ambient video, emergent aesthetics, high-definition |
13 | Tom Schrijvers, Maurice Bruynooghe |
Polymorphic algebraic data type reconstruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy, pp. 85-96, 2006, ACM, 1-59593-388-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
polymorphic recursion, type definition, type reconstruction, parametric polymorphism, algebraic data type |
Displaying result #401 - #500 of 17404 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|