|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7341 occurrences of 3423 keywords
|
|
|
Results
Found 22125 publication records. Showing 22118 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
22 | Richard A. Kilgore |
Object-oriented simulation with SML and Silk in Java and .Net: object-oriented simulation with SML and silk in .Net and Java. |
WSC |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Ermeson Carneiro de Andrade, Paulo Romero Martins Maciel, Gustavo Rau de Almeida Callou, Bruno Costa e Silva Nogueira, Carlos Araújo |
Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
UML, embedded systems, time petri net, requirement validation |
21 | Jing Xu, Laura Recalde, Manuel Silva Suárez |
Tracking Control of Join-Free Timed Continuous Petri Net Systems under Infinite Servers Semantics. |
Discret. Event Dyn. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Join-free timed continuous Petri net, Input constraints, Convergence analysis, Tracking control |
21 | Yousri M. El Fattah |
Semantic web for net-enabled decision making. |
ONISW |
2008 |
DBLP DOI BibTeX RDF |
course of action, effects-based operations, net-enabled, ontology, semantic web, Bayesian networks |
21 | Kunal Goswami, Arobinda Gupta |
Resource Selection in Grids Using Contract Net. |
PDP |
2008 |
DBLP DOI BibTeX RDF |
Grid, Selection, Resource, Contract Net |
21 | Roland Meyer 0001, Victor Khomenko, Tim Strazny |
A Practical Approach to Verification of Mobile Systems Using Net Unfoldings. |
Petri Nets |
2008 |
DBLP DOI BibTeX RDF |
finite control processes, safe processes, Petri net unfoldings, model checking, mobile systems, ?-Calculus |
21 | Chunxiang Xu, Hanpin Wang, Wanling Qu |
Modeling and verifying BPEL using synchronized net. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
synchronized net, modeling, verification, BPEL, web services composition |
21 | Jaechang Nam |
A Trust Framework of Ubiquitous Healthcare with Advanced Petri Net Model. |
eHealth |
2008 |
DBLP DOI BibTeX RDF |
Trust framework, Petri net, Ubiquitous healthcare |
21 | Gustavo Rau de Almeida Callou, Paulo Romero Martins Maciel, Ermeson Carneiro de Andrade, Bruno Costa e Silva Nogueira, Eduardo Antonio Guimarães Tavares |
A coloured petri net based approach for estimating execution time and energy consumption in embedded systems. |
SBCCI |
2008 |
DBLP DOI BibTeX RDF |
simulation, energy consumption, embedded software, coloured petri net, execution time |
21 | Gordan Topic, Dragan Jevtic, Marijan Kunstic |
Petri Net-Based Simulation and Analysis of the Software Development Process. |
KES (2) |
2008 |
DBLP DOI BibTeX RDF |
software development, process modeling, colored Petri net |
21 | Dalju Lee, Jongmoon Baik |
QoS Protocol Verification using Petri-Net for Seamless Mobility in a Ubiquitous Environment: A Case Study. |
SNPD |
2008 |
DBLP DOI BibTeX RDF |
QoS Protocol, Petri-Net, Protocol Verification |
21 | Daniel Martin 0001, Daniel Wutke, Frank Leymann |
Using tuplespaces to enact petri net-based workflow definitions. |
iiWAS |
2008 |
DBLP DOI BibTeX RDF |
petri net execution, petri nets, workflows, tuplespaces |
21 | Daniel J. Weitzner |
Twelve Billion Bargaining Chips: The Web Side of the Net Neutrality Debate. |
IEEE Internet Comput. |
2007 |
DBLP DOI BibTeX RDF |
Web page creators, blogs, ISPs, Net neutrality, bloggers |
21 | Minghu Ha 0001, Yan Li 0003, Xiao-Feng Wang |
Fuzzy knowledge representation and reasoning using a generalized fuzzy petri net and a similarity measure. |
Soft Comput. |
2007 |
DBLP DOI BibTeX RDF |
Generalized fuzzy Petri net, Weighted fuzzy production rule, Knowledge representation, Similarity measure, Fuzzy reasoning |
21 | Richard T. Watson, Detmar W. Straub |
Future IS research in net-enabled organizations. |
Data Base |
2007 |
DBLP DOI BibTeX RDF |
information systems research, net-enabled organizations, organizational goals, value of information systems, networks, stakeholders |
21 | Lansheng Han, Shuxia Han, Bing Peng, Varney Washington |
Fuzzy Tracing the Source of Net-Virus. |
ICFIE |
2007 |
DBLP DOI BibTeX RDF |
Net-virus, fuzzy trace, network security |
21 | Atul Adya, José A. Blakeley, Sergey Melnik 0001, S. Muralidhar |
Anatomy of the ADO.NET entity framework. |
SIGMOD Conference |
2007 |
DBLP DOI BibTeX RDF |
ADO.NET, data programming, conceptual modeling |
21 | Xing-Qi Huang, Lifu Wang, Wen Zhao, Shikun Zhang, Chong-Yi Yuan |
A Workflow Process Mining Algorithm Based on Synchro-Net. |
J. Comput. Sci. Technol. |
2006 |
DBLP DOI BibTeX RDF |
workflow logic, workflow semantics, Petri net, workflow, process mining |
21 | Norihiro Kamide |
Phase Semantics and Petri Net Interpretation for Resource-Sensitive Strong Negation. |
J. Log. Lang. Inf. |
2006 |
DBLP DOI BibTeX RDF |
electric circuit, linear logic with strong negation, Petri net with inhibitor arc, phase semantics, medical diagnosis |
21 | Tzu-Husan Wu, Rita Kuo, Maiga Chang, Jia-Sheng Heh |
Developing a Learning Notification Express Delivery Service for Students Based on Petri-Net. |
ICALT |
2006 |
DBLP DOI BibTeX RDF |
Learning Feedback, Petri-net, Computer Assisted Learning |
21 | Wen-Yu Liu 0001, Kwoting Fang |
Using IDEF0/Petri Net for Ontology-Based Task Knowledge Analysis: The Case of Emergency Response for Debris-Flow. |
HICSS |
2006 |
DBLP DOI BibTeX RDF |
Task Ontology, IDEF0/Petri net, Debris-Flow |
21 | Julia Fix, Christian von Scheve, Daniel Moldt |
Emotion-based norm enforcement and maintenance in multi-agent systems: foundations and petri net modeling. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
socionics, MAS, emotions, social norms, petri net modeling |
21 | Sushil Krishna Bajracharya, Trung Chi Ngo, Cristina Videira Lopes |
On using Net Options Value as a value based design framework. |
ACM SIGSOFT Softw. Eng. Notes |
2005 |
DBLP DOI BibTeX RDF |
net options value, value based design |
21 | Andreas Janecek, Helmut Hlavacs |
Programming interactive real-time games over WLAN for pocket PCs with J2ME and .NET CF. |
NETGAMES |
2005 |
DBLP DOI BibTeX RDF |
NET compact framework, Java micro edition, interactive real-time games, WLAN, PocketPC |
21 | Lakshmi Prayaga |
Building dynamic web applications with ASP.Net and ColdFusion MX 7.0: a comparative approach. |
SIGITE Conference |
2005 |
DBLP DOI BibTeX RDF |
ColdFusion MX 7.0, depth and breadth of knowledge, top-down teaching style, web application, active learning, ASP.Net |
21 | Brent Goplen, Prashant Saxena, Sachin S. Sapatnekar |
Net weighting to reduce repeater counts during placement. |
DAC |
2005 |
DBLP DOI BibTeX RDF |
interconnect, placement, scaling, buffering, repeater, force-directed placement, net weighting |
21 | Scott R. Tilley, Kostas Kontogiannis |
Report from the 4th International Workshop on Net-Centric Computing (NCC 2005). |
STEP |
2005 |
DBLP DOI BibTeX RDF |
net-centric computing (NCC), middleware, technology, roadmap |
21 | Ping-Yu Hsu 0001, Yuan-Bin Chang, Yen-Liang Chen |
STRPN: A Petri-Net Approach for Modeling Spatial-Temporal Relations between Moving Multimedia Objects. |
IEEE Trans. Software Eng. |
2003 |
DBLP DOI BibTeX RDF |
spatial-temporal relations, two-phase firing conditions, valid firing sequences, relative coordination, multimedia, Petri Net |
21 | Guo Jianquan, Shi Chiliang |
Regional advantages under the net-based environment. |
ICEC |
2003 |
DBLP DOI BibTeX RDF |
Internet institutional environment, net-based economy, regional advantages, Internet infrastructures |
21 | Veyis Gunes, Pierre Loonis, Michel Ménard |
A Fuzzy Petri Net for Pattern Recognition: Application to Dynamic Classes. |
Knowl. Inf. Syst. |
2002 |
DBLP DOI BibTeX RDF |
Dynamic knowledge representation, Pattern recognition, Fuzzy Petri net |
21 | Sheng Uei Guan, Wei Liu, Kenneth Ong |
An extendible Petri net model for Memex-like applications. |
ISCC |
2002 |
DBLP DOI BibTeX RDF |
color token, Internet, Petri Net, interaction multimedia, multimedia synchronization, Memex |
21 | Alf Kimms |
Maximizing the Net Present Value of a Project Under Resource Constraints Using a Lagrangian Relaxation Based Heuristic with Tight Upper Bounds. |
Ann. Oper. Res. |
2001 |
DBLP DOI BibTeX RDF |
heuristics, Lagrangian relaxation, resource-constrained project scheduling, net present value |
21 | Yury Bychkov, Jens H. Jahnke |
Interactive Migration of Legacy Databases to Net-Centric Technologies. |
WCRE |
2001 |
DBLP DOI BibTeX RDF |
Net-centric computing, data reengineering, XML, migration, XSLT, Electronic Data Interchange |
21 | Konstantin Knorr, Harald Weidner |
Analyzing Separation of Duties in Petri Net Workflows. |
MMM-ACNS |
2001 |
DBLP DOI BibTeX RDF |
Petri net, workflow, Logical programming, separation of duties |
21 | King Sing Cheung, K. O. Chow, T. Y. Cheung |
Deriving Scenarios Of Object Interaction Through Petri Net. |
TOOLS (27) |
1998 |
DBLP DOI BibTeX RDF |
object lifecycle, Petri net, object interaction, object behaviour |
21 | P. S. Nagendra Rao, C. S. Jayathirtha, C. S. Raghavendra Prasad |
New Net Models for Spectral Netlist Partitioning. |
VLSI Design |
1998 |
DBLP DOI BibTeX RDF |
Netlist Partitioning, Spectral Partitioning Net Models, Clique Models, Star Models, Graph Partitioning |
21 | Andrew T. Clayman, Gary L. Mullen |
Improved (T, M, S)-net Parameters from the Gilbert-Varshamov Bound. |
Appl. Algebra Eng. Commun. Comput. |
1997 |
DBLP DOI BibTeX RDF |
(t, m, s)-net, Error-correcting codes |
21 | Wai-Kei Mak, D. F. Wong 0001 |
Board-level multiterminal net routing for FPGA-based logic emulation. |
ACM Trans. Design Autom. Electr. Syst. |
1997 |
DBLP DOI BibTeX RDF |
board-level routing, multi-terminal net decomposition, field programmable gate arrays, crossbars, logic emulation |
21 | Ekkart Kindler |
A Compositional Partial Order Semantics for Petri Net Components. |
ICATPN |
1997 |
DBLP DOI BibTeX RDF |
Petri net component, rely-guarantee specification, fully abstract, compositional semantics, partial order semantics |
21 | Osamu Mizuno, Shinji Kusumoto, Tohru Kikuno, Yasunari Takagi, Keishi Sakamoto |
Estimating the Number of Faults using Simulator based on Generalized Stochastic Petri-Net Model. |
Asian Test Symposium |
1997 |
DBLP DOI BibTeX RDF |
software test and debug, software development, software fault, Petri-net model |
21 | Chuang Lin 0002, Bo Li 0001, Jianping Wu |
Modeling ATM traffic using stochastic Petri net. |
ICCCN |
1997 |
DBLP DOI BibTeX RDF |
stochastic high level Petri net, stochastic events, ATM traffic control modeling, concurrent events, nondeterministic events, state space explosion problem, bursty traffic source, traffic rate control, token condensing, performance analysis, asynchronous transfer mode, ATM networks, multimedia traffic, asynchronous events, submodels, reduction method |
21 | Thomas Fritsch, B. Neuner, P. Klotz, P. H. Kraus |
A Self-Organizing Neural Net Clustering Parkinson Patients and Control Persons Using Motor Data. |
CBMS |
1995 |
DBLP DOI BibTeX RDF |
self-organizing neural net, Parkinson patients, motor data, neurodegenerative disorder, therapeutic measures, therapeutic control, disease monitoring, learning (artificial intelligence), statistical analysis, medical computing, self-organizing feature map, standardisation, motor impairment, self-organising feature maps, patient monitoring, Parkinson's disease |
21 | Denis Avrilionis, Pierre-Yves Cunin |
Using views to maintain Petri-net-based process models. |
ICSM |
1995 |
DBLP DOI BibTeX RDF |
Petri-net-based process model maintenance, quality aspects, real software-production process, sub-model, participant perception, abstract modules, formally defined operators, Process Weaver modelling language, review process model, view evolution, view composition, Petri nets, software maintenance, software tools, software quality, programming environments, products, views, maintainability, computer aided software engineering, software process model, activities, simulation languages, project support environments, process model change |
21 | Miguel Felder, Dino Mandrioli, Angelo Morzenti |
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
property proving, logical specifications, TRIO, Hoare method, dual language, real-time systems, real-time systems, embedded systems, formal specification, formal specification, Petri nets, temporal logic, temporal logic, theorem proving, first-order logic, timed Petri net, formal analysis, axiomatization |
21 | Rudolf K. Keller, Marianne Ozkan, Xijin Shen |
Towards Comprehensive Support for the Dynamic Analysis of Petri Net Based Models. |
Application and Theory of Petri Nets |
1994 |
DBLP DOI BibTeX RDF |
Macronet, graphical simulation, visualization, performance analysis, Petri net, Dynamic analysis, business modelling, environment, tool evaluation |
21 | Frits Feldbrugge |
Petri Net Tool Overview 1992 |
Applications and Theory of Petri Nets |
1991 |
DBLP DOI BibTeX RDF |
net theory, simulation, performance analysis, Petri Nets, computer aided design, tools, system analysis, system specification, system validation |
21 | Reg G. Willson, Bruce H. Krogh |
Petri Net Tools for the Specification and Analysis of Discrete Controllers. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
Petri net tools, discrete controllers, discrete-state systems, rule-based state-variable-specification formalism, interconnected state machines, reduced reachability graphs, discrete manufacturing systems, modeling, formal specification, Petri nets, specification, controllers, computerised control, discrete systems |
21 | Hany H. Ammar, S. M. Rezaul Islam |
Time Scale Decomposition of a Class of Generalized Stochastic Petri Net Models. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
generalized stochastic Petri net models, time-scale decomposition, GSPN model, hierarchical sequence, aggregated subnets, degradable multiprocessor system, TSD algorithm, slow transitions, performance evaluation, complexity, Petri nets, aggregation, multiprocessing systems, stochastic processes, coupling |
21 | Joanne Bechta Dugan, Gianfranco Ciardo |
Stochastic Petri Net Analysis of a Replicated File System. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
performance reliability tradeoffs, stochastic Petri net model, replicated file system, voting algorithm, file status, majority protocols, Petri nets, fault tolerant computing, distributed databases, concurrency control, distributed environment, witnesses |
21 | Frits Feldbrugge |
Petri net tool overview 1989. |
European Workshop on Applications and Theory in Petri Nets |
1988 |
DBLP DOI BibTeX RDF |
net theory, simulation, performance analysis, Petri Nets, computer aided design, tools, system analysis, system specification |
20 | ZhiWu Li 0001, MengChu Zhou |
Control of Elementary and Dependent Siphons in Petri Nets and Their Application. |
IEEE Trans. Syst. Man Cybern. Part A |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Tsung-Hsien Lee, Ting-Chi Wang |
Congestion-Constrained Layer Assignment for Via Minimization in Global Routing. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Franck Pommereau |
Quickly prototyping petri nets tools with SNAKES. |
SimuTools |
2008 |
DBLP DOI BibTeX RDF |
quick prototyping, petri nets |
20 | Maria Paola Cabasino, Alessandro Giua, Carla Seatzu |
Identification of Petri Nets from Knowledge of Their Language. |
Discret. Event Dyn. Syst. |
2007 |
DBLP DOI BibTeX RDF |
Integer programming problem, Petri nets, Identification |
20 | Zhiwei Xu 0002, Lijuan Xiao, Xingwu Liu |
Personal Grid. |
NPC |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Ralph Mueller, Christos Alexopoulos, Leon F. McGinnis |
Automatic generation of simulation models for semiconductor manufacturing. |
WSC |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Anikó Costa, Luís Gomes 0001 |
Module Composition within Petri Nets Model-based Development. |
SIES |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Jennifer L. Wong, Azadeh Davoodi, Vishal Khandelwal, Ankur Srivastava 0001, Miodrag Potkonjak |
A statistical methodology for wire-length prediction. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Narender Hanchate, Nagarajan Ranganathan |
A game-theoretic framework for multimetric optimization of interconnect delay, power, and crosstalk noise during wire sizing. |
ACM Trans. Design Autom. Electr. Syst. |
2006 |
DBLP DOI BibTeX RDF |
Game theory, transmission lines, crosstalk noise, interconnect models, wire sizing, interconnect delay |
20 | Alexander E. Kostin |
A Reachability Algorithm for General Petri Nets Based on Transition Invariants. |
MFCS |
2006 |
DBLP DOI BibTeX RDF |
transition invariants, Petri nets, reachability |
20 | Atsushi Ohta, Chihiro Kato, Kohkichi Tsuji |
Structural analysis of Petri nets with batch processing arcs. |
ISCAS |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Zhao-Li Zhang, Fan Hong, Hai-Jun Xiao |
Verification of Strict Integrity Policy via Petri Nets. |
ICSNC |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Azadeh Davoodi, Ankur Srivastava 0001 |
Power-driven simultaneous resource binding and floorplanning: a probabilistic approach. |
IEEE Trans. Very Large Scale Integr. Syst. |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Xiang Lu, Zhuo Li 0001, Wangqi Qiu, D. M. H. Walker, Weiping Shi |
Longest-path selection for delay test under process variation. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Adilson Arcoverde, Gabriel Alves, Ricardo Massa Ferreira Lima |
Petri nets tools integration through Eclipse. |
eTX |
2005 |
DBLP DOI BibTeX RDF |
|
20 | James M. Hereford, Tüze Kuyucu |
Robust Neural Networks Using Motes. |
Evolvable Hardware |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Chao-Yang Yeh, Malgorzata Marek-Sadowska |
Sequential delay budgeting with interconnect prediction. |
IEEE Trans. Very Large Scale Integr. Syst. |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Hao Li, Wai-Kei Mak, Srinivas Katkoori |
Force-Directed Performance-Driven Placement Algorithm for FPGAs. |
ISVLSI |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Jianming Fu, Xian Yi, Huanguo Zhang |
Modeling the Behavior of Ada Tasks and Verifying Its Safety. |
CIT |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Jennifer L. Wong, Azadeh Davoodi, Vishal Khandelwal, Ankur Srivastava 0001, Miodrag Potkonjak |
Wire-length prediction using statistical techniques. |
ICCAD |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Luc Charest, El Mostapha Aboulhamid, Guy Bois |
Using Design Patterns for Type Unification and Introspection in SystemC. |
IWSOC |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Miodrag Vujkovic, David Wadkins, William Swartz, Carl Sechen |
Efficient timing closure without timing driven placement and routing. |
DAC |
2004 |
DBLP DOI BibTeX RDF |
digital design flow, gate sizing, placement and routing, timing closure |
20 | S. K. Yang |
A condition-based failure-prediction and processing-scheme for preventive maintenance. |
IEEE Trans. Reliab. |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Chokri Slim, Abdelwahed Trabelsi |
Neural Network for Modeling Financial Time Series: A New Approach. |
ICCSA (3) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | David G. Stork, Rob J. van Glabbeek |
Token-Controlled Place Refinement in Hierarchical Petri Nets with Application to Active Document Workflow. |
ICATPN |
2002 |
DBLP DOI BibTeX RDF |
|
20 | K. K. Lee, D. F. Wong 0001 |
Incremental reconfiguration of multi-FPGA systems. |
FPGA |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Karsten Schmidt 0004 |
How to Calculate Symmetries of Petri Nets. |
Acta Informatica |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Guenter Stenz, Bernhard M. Riess, Bernhard Rohfleisch, Frank M. Johannes |
Performance optimization by interacting netlist transformations andplacement. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Milind R. Naphade, Thomas S. Huang |
Semantic Video Indexing Using a Probabilistic Framework. |
ICPR |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Kiyomi Nakamura, Noriki Kinoshita, Hirokazu Kanayama, Takashi Minami |
Spreading Associative Neural Network Recognizes the Shape and Position of an Object Simultaneously. |
IJCNN (2) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Lars Michael Kristensen, Antti Valmari |
Finding Stubborn Sets of Coloured Petri Nets Without Unfolding. |
ICATPN |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Luigi Portinale |
Modeling and Solving Constraint Satisfaction Problems through Petri Nets. |
ICATPN |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Krzysztof Bilinski, Erik L. Dagless |
High Level Synthesis of Synchronous Parallel Controllers. |
Application and Theory of Petri Nets |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Krzysztof Bilinski, Erik L. Dagless, Jonathan M. Saul |
Behavioral Synthesis of Complex Parallel Controllers. |
VLSI Design |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Konrad Doll, Frank M. Johannes, Kurt Antreich |
Iterative placement improvement by network flow methods. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Michel Barbeau, Gregor von Bochmann |
Extension of the Karp and Miller Procedure to Lotos Specifications. |
CAV |
1990 |
DBLP DOI BibTeX RDF |
|
20 | Michael Waidner |
Unconditional Sender and Recipient Untraceability in Spite of Active Attacks. |
EUROCRYPT |
1989 |
DBLP DOI BibTeX RDF |
|
20 | Zhong Chen, Tong Zheng, Junsong Leng, Jiahao Zhang, He Deng, Xiaofei Mi, Jian Yang |
R&D-Net: Integration of Registration-Net and Detection-Net for Identifying Building Changes in High Spatial-Resolution Remote Sensing Images. |
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Laura Melgar-García, Francisco Martínez-Álvarez, Dieu Tien Bui, Alicia Troncoso |
A novel semantic segmentation approach based on U-Net, WU-Net, and U-Net++ deep learning for predicting areas sensitive to pluvial flood at tropical area. |
Int. J. Digit. Earth |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Xin Wu, Danfeng Hong, Jocelyn Chanussot |
UIU-Net: U-Net in U-Net for Infrared Small Object Detection. |
IEEE Trans. Image Process. |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Jixiang Ding |
GLFSU-Net: Global and Local Features Fusion Using Separable U-Net to Improve Anatomical Landmark Detection in 2D X-Ray Radiography ImagesGLFSU-Net: Improving Anatomical Landmark Detection in 2D X-Ray Radiography Images. |
ISAIMS |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Xin Wu, Danfeng Hong, Jocelyn Chanussot |
UIU-Net: U-Net in U-Net for Infrared Small Object Detection. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Zhiyong Xiao, Nianmao Du, Jianjun Liu, Weidong Zhang 0004 |
SR-Net: A sequence offset fusion net and refine net for undersampled multislice MR image reconstruction. |
Comput. Methods Programs Biomed. |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Cem Emre Akbas, Michal Kozubek 0001 |
Condensed U-Net (Cu-Net): An Improved U-Net Architecture for Cell Segmentation Powered by 4x4 Max-Pooling Layers. |
ISBI |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Guy Vitaglione |
Predicting Online Aggression: The Net Bully, Net Power, and Net Importance Scales. |
Int. J. Cyber Behav. Psychol. Learn. |
2019 |
DBLP DOI BibTeX RDF |
|
20 | John C. Martin, Bruce A. Rosa, Philip Ozersky, Kymberlie Hallsworth-Pepin, Xu Zhang, Veena Bhonagiri-Palsikar, Rahul Tyagi, Qi Wang, Young-Jun Choi, Xin Gao, Samantha N. McNulty, Paul J. Brindley, Makedonka Dautova Mitreva |
Helminth.net: expansions to Nematode.net and an introduction to Trematode.net. |
Nucleic Acids Res. |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Yumi Sakyo, Kazuhiro Nakayama, Hiroko Komatsu, Yoko Setoyama |
User Needs on Nursing Net(The Kango Net) - Analyzing the Total Consultation Page - http://www.kango-net.jp/en/index.html. |
Nursing Informatics |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Bill Hamilton |
ADO.NET 3.5 cookbook - building data-centric: .NET applications: updated for .NET 3.5, LINQ, and SQL server 2008 (2. ed.). |
|
2008 |
RDF |
|
20 | Omar A. L. Zabir |
Building a web 2.0 portal with ASP.NET 3.5 - learn how to build a state-of-the-art Ajax web site using: ASP.NET, .NET 3.5, LINQ, Windows WF, and more. |
|
2008 |
RDF |
|
20 | Juval Löwy |
Programming .NET components - building maintainable, extensible, and reusable .NET applications: covers .NET 21.0 and Visual Studio 2005 (2. ed.). |
|
2005 |
RDF |
|
|
|